Skip to content

Actions: chrjabs/rustsat

Actions

CaDiCaL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
cadical.yml
597 workflow runs
597 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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