Skip to content

Actions: chrjabs/rustsat

Actions

Minisat

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
minisat.yml
715 workflow runs
715 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

MaxSAT algorithm: SIS Minisat #753: Pull request #296 opened by chrjabs
March 9, 2025 09:08 5m 48s sis
sis
March 9, 2025 09:08 5m 48s
Bimander encoding for Python API Minisat #752: Pull request #295 opened by chrjabs
March 9, 2025 08:03 3m 57s pyapi-bimander
pyapi-bimander
March 9, 2025 08:03 3m 57s
chore(deps): update rust crate tempfile to 3.18.0 Minisat #751: Commit 3489c1e pushed by chrjabs
March 8, 2025 14:05 7m 25s main
main
March 8, 2025 14:05 7m 25s
fix(deps): update patch updates (#291) Minisat #750: Commit 8f82f6d pushed by renovate bot
March 8, 2025 14:04 4m 35s main
main
March 8, 2025 14:04 4m 35s
chore(deps): update rust crate tempfile to 3.18.0 Minisat #749: Pull request #293 opened by renovate bot
March 6, 2025 22:53 6m 3s renovate/tempfile-3.x
renovate/tempfile-3.x
March 6, 2025 22:53 6m 3s
Certified encodings for proof logging Minisat #748: Pull request #248 synchronize by chrjabs
March 4, 2025 12:25 5m 39s proof-logging
proof-logging
March 4, 2025 12:25 5m 39s
chore(deps): update rust crate nom to v8 Minisat #747: Pull request #249 synchronize by renovate bot
March 3, 2025 23:46 3m 41s renovate/nom-8.x
renovate/nom-8.x
March 3, 2025 23:46 3m 41s
fix(deps): update patch updates Minisat #746: Pull request #291 opened by renovate bot
March 3, 2025 23:46 6m 8s renovate/patch-updates
renovate/patch-updates
March 3, 2025 23:46 6m 8s
chore: release Minisat #745: Pull request #278 synchronize by rustsat-release-plz-bot bot
February 28, 2025 20:25 4m 54s release-plz-2025-02-19T15-54-03Z
release-plz-2025-02-19T15-54-03Z
February 28, 2025 20:25 4m 54s
chore(deps): update patch updates (#290) Minisat #744: Commit a69e279 pushed by renovate bot
February 28, 2025 20:19 4m 41s main
main
February 28, 2025 20:19 4m 41s
chore(deps): update patch updates Minisat #743: Pull request #290 opened by renovate bot
February 28, 2025 20:01 6m 37s renovate/patch-updates
renovate/patch-updates
February 28, 2025 20:01 6m 37s
chore(deps): update rust crate chrono to 0.4.40 (#289) Minisat #742: Commit af8a056 pushed by renovate bot
February 26, 2025 23:32 5m 27s main
main
February 26, 2025 23:32 5m 27s
chore(deps): update rust crate chrono to 0.4.40 Minisat #741: Pull request #289 opened by renovate bot
February 26, 2025 23:14 3m 8s renovate/patch-updates
renovate/patch-updates
February 26, 2025 23:14 3m 8s
chore: release Minisat #740: Pull request #278 synchronize by rustsat-release-plz-bot bot
February 25, 2025 23:52 5m 39s release-plz-2025-02-19T15-54-03Z
release-plz-2025-02-19T15-54-03Z
February 25, 2025 23:52 5m 39s
fix(deps): update patch updates to 0.23.5 (#288) Minisat #739: Commit 56d327e pushed by renovate bot
February 25, 2025 23:46 5m 37s main
main
February 25, 2025 23:46 5m 37s
fix(deps): update patch updates to 0.23.5 Minisat #738: Pull request #288 opened by renovate bot
February 25, 2025 23:27 6m 37s renovate/patch-updates
renovate/patch-updates
February 25, 2025 23:27 6m 37s
chore: release Minisat #737: Pull request #278 synchronize by rustsat-release-plz-bot bot
February 25, 2025 10:51 4m 5s release-plz-2025-02-19T15-54-03Z
release-plz-2025-02-19T15-54-03Z
February 25, 2025 10:51 4m 5s
chore(deps): update rust crate flate2 to 1.1.0 Minisat #736: Commit 7bbbcab pushed by chrjabs
February 25, 2025 10:44 4m 49s main
main
February 25, 2025 10:44 4m 49s
chore(deps): update rust crate clap to 4.5.31 (#286) Minisat #735: Commit 2d7f7ce pushed by renovate bot
February 24, 2025 19:46 5m 25s main
main
February 24, 2025 19:46 5m 25s
chore(deps): update rust crate flate2 to 1.1.0 Minisat #734: Pull request #287 opened by renovate bot
February 24, 2025 19:28 10m 50s renovate/flate2-1.x
renovate/flate2-1.x
February 24, 2025 19:28 10m 50s
chore(deps): update rust crate clap to 4.5.31 Minisat #733: Pull request #286 opened by renovate bot
February 24, 2025 19:27 6m 26s renovate/patch-updates
renovate/patch-updates
February 24, 2025 19:27 6m 26s
chore: release Minisat #732: Pull request #278 synchronize by rustsat-release-plz-bot bot
February 24, 2025 11:13 7m 12s release-plz-2025-02-19T15-54-03Z
release-plz-2025-02-19T15-54-03Z
February 24, 2025 11:13 7m 12s
chore: include script for ff merging prs Minisat #731: Commit 81ce826 pushed by chrjabs
February 24, 2025 11:06 6m 7s main
main
February 24, 2025 11:06 6m 7s
Compiler and clippy update Minisat #730: Pull request #285 synchronize by chrjabs
February 24, 2025 10:49 5m 48s compiler-update
compiler-update
February 24, 2025 10:49 5m 48s
Compiler and clippy update Minisat #729: Pull request #285 synchronize by chrjabs
February 24, 2025 10:12 3m 47s compiler-update
compiler-update
February 24, 2025 10:12 3m 47s