Skip to content

Actions: chrjabs/rustsat

Actions

Continuous Deployment

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release-plz.yml
165 workflow runs
165 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore(deps): update patch updates (#268) Continuous Deployment #170: Commit 0f1df91 pushed by renovate bot
February 11, 2025 20:47 3m 59s main
main
February 11, 2025 20:47 3m 59s
chore(deps): update patch updates (#261) Continuous Deployment #169: Commit e65b259 pushed by renovate bot
February 11, 2025 11:51 6m 31s main
main
February 11, 2025 11:51 6m 31s
test(opb): simplify constraint initialization Continuous Deployment #168: Commit 136d9d4 pushed by chrjabs
February 11, 2025 11:38 4m 15s main
main
February 11, 2025 11:38 4m 15s
feat(cadical): version 2.1.3 with native propagate Continuous Deployment #167: Commit a8adb8b pushed by chrjabs
February 11, 2025 11:38 7m 1s main
main
February 11, 2025 11:38 7m 1s
fix(encodings): dpw reserve don't build unnecessary structure Continuous Deployment #166: Commit 880aa0d pushed by chrjabs
February 11, 2025 09:04 7m 9s main
main
February 11, 2025 09:04 7m 9s
chore(devenv): update flake setup Continuous Deployment #165: Commit 80f41b7 pushed by chrjabs
February 7, 2025 09:37 1m 5s main
main
February 7, 2025 09:37 1m 5s
chore(devenv): update flake setup Continuous Deployment #164: Commit 96f3507 pushed by chrjabs
February 7, 2025 09:12 2m 44s main
main
February 7, 2025 09:12 2m 44s
fix(capi/pyapi): use fxhash Continuous Deployment #163: Commit 1828eef pushed by chrjabs
February 6, 2025 08:48 1m 11s main
main
February 6, 2025 08:48 1m 11s
chore(deps): update install-pinned/maturin digest to 18a9a3b (#263) Continuous Deployment #162: Commit ebe2b5a pushed by renovate bot
February 6, 2025 08:33 1m 7s main
main
February 6, 2025 08:33 1m 7s
fix(deps): update rust crate syn to v2.0.98 (#259) Continuous Deployment #161: Commit 976fd8c pushed by renovate bot
February 2, 2025 21:11 1m 32s main
main
February 2, 2025 21:11 1m 32s
fix(deps): update rust crate syn to v2.0.97 (#258) Continuous Deployment #160: Commit 6bec7f9 pushed by renovate bot
February 1, 2025 22:02 1m 15s main
main
February 1, 2025 22:02 1m 15s
chore(deps): update rust crate cc to 1.2.11 (#257) Continuous Deployment #159: Commit b3944bb pushed by renovate bot
January 31, 2025 22:04 3m 34s main
main
January 31, 2025 22:04 3m 34s
chore(deps): update rust crate tempfile to 3.16.0 Continuous Deployment #158: Commit a429eb7 pushed by chrjabs
January 29, 2025 10:37 6m 51s main
main
January 29, 2025 10:37 6m 51s
chore(deps): update rust crate cmake to 0.1.53 (#254) Continuous Deployment #157: Commit 45c3cb6 pushed by renovate bot
January 28, 2025 21:09 6m 25s main
main
January 28, 2025 21:09 6m 25s
chore(deps): update rand to 0.9.0 Continuous Deployment #156: Commit 0de32b8 pushed by chrjabs
January 28, 2025 12:31 6m 40s main
main
January 28, 2025 12:31 6m 40s
feat(kissat): add kissat version 4.0.2 Continuous Deployment #155: Commit 6724dec pushed by chrjabs
January 28, 2025 12:15 6m 44s main
main
January 28, 2025 12:15 6m 44s
feat(batsat): update batsat to 0.6.0 Continuous Deployment #154: Commit 88bffd2 pushed by chrjabs
January 21, 2025 09:35 6m 36s main
main
January 21, 2025 09:35 6m 36s
chore(deps): update rust crate cbindgen to 0.28.0 Continuous Deployment #153: Commit 49a8343 pushed by chrjabs
January 21, 2025 09:06 4m 14s main
main
January 21, 2025 09:06 4m 14s
chore(deps): update rust crate clap to 4.5.27 (#245) Continuous Deployment #152: Commit d45ad31 pushed by renovate bot
January 20, 2025 22:16 6m 36s main
main
January 20, 2025 22:16 6m 36s
chore(deps): update rust crate cc to 1.2.10 (#244) Continuous Deployment #151: Commit ac1d123 pushed by renovate bot
January 19, 2025 20:47 6m 22s main
main
January 19, 2025 20:47 6m 22s
chore(deps): update rust crate cc to 1.2.9 (#242) Continuous Deployment #150: Commit 4239534 pushed by renovate bot
January 14, 2025 18:53 4m 10s main
main
January 14, 2025 18:53 4m 10s
fix(deps): update patch updates (#241) Continuous Deployment #149: Commit e0bb289 pushed by renovate bot
January 11, 2025 23:00 4m 8s main
main
January 11, 2025 23:00 4m 8s
chore(deps): update rust crate cc to 1.2.8 (#240) Continuous Deployment #148: Commit 833e34f pushed by renovate bot
January 11, 2025 02:49 4m 5s main
main
January 11, 2025 02:49 4m 5s
chore(deps): update rust crate thiserror to 2.0.11 (#239) Continuous Deployment #147: Commit 85df97b pushed by renovate bot
January 10, 2025 23:32 6m 39s main
main
January 10, 2025 23:32 6m 39s
chore(deps): update install-pinned/mypy digest to 75779f1 Continuous Deployment #146: Commit 207f288 pushed by chrjabs
January 10, 2025 14:26 6m 32s main
main
January 10, 2025 14:26 6m 32s