Skip to content

Actions: chrjabs/rustsat

Actions

Minisat

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
minisat.yml
599 workflow runs
599 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore(deps): update rust crate rand_chacha to 0.9.0 Minisat #619: Pull request #251 opened by renovate bot
January 27, 2025 21:44 5m 15s renovate/rand_chacha-0.x
renovate/rand_chacha-0.x
January 27, 2025 21:44 5m 15s
chore(deps): update rust crate rand to 0.9.0 Minisat #618: Pull request #250 opened by renovate bot
January 27, 2025 21:44 7m 15s renovate/rand-0.x
renovate/rand-0.x
January 27, 2025 21:44 7m 15s
chore(deps): update rust crate nom to v8 Minisat #617: Pull request #249 opened by renovate bot
January 26, 2025 20:39 1m 6s renovate/nom-8.x
renovate/nom-8.x
January 26, 2025 20:39 1m 6s
Certified encodings for proof logging Minisat #616: Pull request #248 synchronize by chrjabs
January 21, 2025 15:27 6m 25s proof-logging
proof-logging
January 21, 2025 15:27 6m 25s
Certified encodings for proof logging Minisat #615: Pull request #248 opened by chrjabs
January 21, 2025 15:23 5m 40s proof-logging
proof-logging
January 21, 2025 15:23 5m 40s
feat(batsat): update batsat to 0.6.0 Minisat #614: Commit 88bffd2 pushed by chrjabs
January 21, 2025 15:20 5m 39s next-major
next-major
January 21, 2025 15:20 5m 39s
chore: release Minisat #613: Pull request #233 synchronize by rustsat-release-plz-bot bot
January 21, 2025 09:41 5m 3s release-plz-2025-01-08T07-51-18Z
release-plz-2025-01-08T07-51-18Z
January 21, 2025 09:41 5m 3s
feat(batsat): update batsat to 0.6.0 Minisat #612: Commit 88bffd2 pushed by chrjabs
January 21, 2025 09:35 4m 52s main
main
January 21, 2025 09:35 4m 52s
Update batsat to 0.6.0 Minisat #611: Pull request #247 opened by chrjabs
January 21, 2025 09:14 4m 0s batsat-update
batsat-update
January 21, 2025 09:14 4m 0s
chore: release Minisat #610: Pull request #233 synchronize by rustsat-release-plz-bot bot
January 21, 2025 09:10 5m 53s release-plz-2025-01-08T07-51-18Z
release-plz-2025-01-08T07-51-18Z
January 21, 2025 09:10 5m 53s
chore(deps): update rust crate cbindgen to 0.28.0 Minisat #609: Commit 49a8343 pushed by chrjabs
January 21, 2025 09:06 4m 16s main
main
January 21, 2025 09:06 4m 16s
chore: release Minisat #608: Pull request #233 synchronize by rustsat-release-plz-bot bot
January 20, 2025 22:22 5m 2s release-plz-2025-01-08T07-51-18Z
release-plz-2025-01-08T07-51-18Z
January 20, 2025 22:22 5m 2s
chore(deps): update rust crate clap to 4.5.27 (#245) Minisat #607: Commit d45ad31 pushed by renovate bot
January 20, 2025 22:16 6m 21s main
main
January 20, 2025 22:16 6m 21s
fix(deps): update rust crate batsat to 0.6.0 Minisat #606: Pull request #246 opened by renovate bot
January 20, 2025 21:57 5m 50s renovate/batsat-0.x
renovate/batsat-0.x
January 20, 2025 21:57 5m 50s
chore(deps): update rust crate clap to 4.5.27 Minisat #605: Pull request #245 opened by renovate bot
January 20, 2025 21:57 4m 33s renovate/patch-updates
renovate/patch-updates
January 20, 2025 21:57 4m 33s
chore: release Minisat #604: Pull request #233 synchronize by rustsat-release-plz-bot bot
January 19, 2025 20:53 6m 26s release-plz-2025-01-08T07-51-18Z
release-plz-2025-01-08T07-51-18Z
January 19, 2025 20:53 6m 26s
chore(deps): update rust crate cc to 1.2.10 (#244) Minisat #603: Commit ac1d123 pushed by renovate bot
January 19, 2025 20:47 5m 15s main
main
January 19, 2025 20:47 5m 15s
chore(deps): update rust crate cc to 1.2.10 Minisat #602: Pull request #244 opened by renovate bot
January 19, 2025 20:28 5m 11s renovate/patch-updates
renovate/patch-updates
January 19, 2025 20:28 5m 11s
chore(deps): update rust crate cbindgen to 0.28.0 Minisat #601: Pull request #243 opened by renovate bot
January 15, 2025 21:00 5m 26s renovate/cbindgen-0.x
renovate/cbindgen-0.x
January 15, 2025 21:00 5m 26s
chore: release Minisat #600: Pull request #233 synchronize by rustsat-release-plz-bot bot
January 14, 2025 18:57 4m 35s release-plz-2025-01-08T07-51-18Z
release-plz-2025-01-08T07-51-18Z
January 14, 2025 18:57 4m 35s
chore(deps): update rust crate cc to 1.2.9 (#242) Minisat #599: Commit 4239534 pushed by renovate bot
January 14, 2025 18:53 6m 35s main
main
January 14, 2025 18:53 6m 35s
chore(deps): update rust crate cc to 1.2.9 Minisat #598: Pull request #242 opened by renovate bot
January 14, 2025 18:34 5m 15s renovate/patch-updates
renovate/patch-updates
January 14, 2025 18:34 5m 15s
chore: release Minisat #597: Pull request #233 synchronize by rustsat-release-plz-bot bot
January 11, 2025 23:04 3m 16s release-plz-2025-01-08T07-51-18Z
release-plz-2025-01-08T07-51-18Z
January 11, 2025 23:04 3m 16s
fix(deps): update patch updates (#241) Minisat #596: Commit e0bb289 pushed by renovate bot
January 11, 2025 23:00 5m 7s main
main
January 11, 2025 23:00 5m 7s
fix(deps): update patch updates Minisat #595: Pull request #241 opened by renovate bot
January 11, 2025 22:40 3m 47s renovate/patch-updates
renovate/patch-updates
January 11, 2025 22:40 3m 47s