Skip to content

Actions: chrjabs/rustsat

Actions

Minisat

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
minisat.yml
624 workflow runs
624 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore(deps): lock file maintenance Minisat #519: Pull request #220 opened by renovate bot
December 22, 2024 22:14 4m 45s renovate/lock-file-maintenance
renovate/lock-file-maintenance
December 22, 2024 22:14 4m 45s
chore(deps): update install-pinned/mypy digest to 75779f1 - autoclosed Minisat #518: Pull request #216 synchronize by renovate bot
December 22, 2024 20:34 5m 19s renovate/install-pinned-mypy-digest
renovate/install-pinned-mypy-digest
December 22, 2024 20:34 5m 19s
chore: release Minisat #517: Pull request #218 synchronize by rustsat-release-plz-bot bot
December 22, 2024 20:34 4m 35s release-plz-2024-12-21T19-06-42Z
release-plz-2024-12-21T19-06-42Z
December 22, 2024 20:34 4m 35s
fix(deps): update patch updates (#219) Minisat #516: Commit 50d2c36 pushed by renovate bot
December 22, 2024 20:28 5m 47s main
main
December 22, 2024 20:28 5m 47s
fix(deps): update patch updates Minisat #515: Pull request #219 opened by renovate bot
December 22, 2024 20:22 3m 12s renovate/patch-updates
renovate/patch-updates
December 22, 2024 20:22 3m 12s
chore(deps): update install-pinned/mypy digest to 75779f1 - autoclosed Minisat #514: Pull request #216 synchronize by renovate bot
December 21, 2024 19:07 4m 58s renovate/install-pinned-mypy-digest
renovate/install-pinned-mypy-digest
December 21, 2024 19:07 4m 58s
chore: release Minisat #513: Pull request #218 opened by rustsat-release-plz-bot bot
December 21, 2024 19:06 4m 22s release-plz-2024-12-21T19-06-42Z
release-plz-2024-12-21T19-06-42Z
December 21, 2024 19:06 4m 22s
chore(deps): update rust crate thiserror to 2.0.9 (#217) Minisat #512: Commit 376083e pushed by renovate bot
December 21, 2024 19:00 4m 34s main
main
December 21, 2024 19:00 4m 34s
chore(deps): update rust crate thiserror to 2.0.9 Minisat #511: Pull request #217 opened by renovate bot
December 21, 2024 18:55 5m 10s renovate/patch-updates
renovate/patch-updates
December 21, 2024 18:55 5m 10s
chore(deps): update install-pinned/mypy digest to 75779f1 - autoclosed Minisat #510: Pull request #216 opened by renovate bot
December 20, 2024 21:08 4m 11s renovate/install-pinned-mypy-digest
renovate/install-pinned-mypy-digest
December 20, 2024 21:08 4m 11s
chore: release Minisat #509: Commit 91a4161 pushed by chrjabs
December 20, 2024 14:36 5m 15s main
main
December 20, 2024 14:36 5m 15s
chore: release Minisat #508: Pull request #208 synchronize by chrjabs
December 20, 2024 14:24 3m 35s release-plz-2024-12-18T09-54-12Z
release-plz-2024-12-18T09-54-12Z
December 20, 2024 14:24 3m 35s
chore: release Minisat #507: Pull request #208 synchronize by chrjabs
December 20, 2024 14:19 4m 21s release-plz-2024-12-18T09-54-12Z
release-plz-2024-12-18T09-54-12Z
December 20, 2024 14:19 4m 21s
chore: release Minisat #506: Pull request #208 synchronize by rustsat-release-plz-bot bot
December 20, 2024 14:13 5m 41s release-plz-2024-12-18T09-54-12Z
release-plz-2024-12-18T09-54-12Z
December 20, 2024 14:13 5m 41s
chore(deps): update rust crate bzip2 to 0.5.0 Minisat #505: Commit c8ab3e1 pushed by chrjabs
December 20, 2024 14:09 5m 31s main
main
December 20, 2024 14:09 5m 31s
chore: release Minisat #504: Pull request #208 synchronize by rustsat-release-plz-bot bot
December 20, 2024 14:06 4m 45s release-plz-2024-12-18T09-54-12Z
release-plz-2024-12-18T09-54-12Z
December 20, 2024 14:06 4m 45s
feat(cadical): version 2.1.1 Minisat #503: Commit 6232691 pushed by chrjabs
December 20, 2024 13:57 6m 55s main
main
December 20, 2024 13:57 6m 55s
chore(deps): update rust crate bzip2 to 0.5.0 Minisat #502: Pull request #214 synchronize by renovate bot
December 20, 2024 13:55 7m 50s renovate/bzip2-0.x
renovate/bzip2-0.x
December 20, 2024 13:55 7m 50s
chore(deps): update dependency ubuntu to v24 Minisat #501: Commit ef77f7a pushed by chrjabs
December 20, 2024 13:54 6m 25s main
main
December 20, 2024 13:54 6m 25s
CaDiCaL Version 2.1.1 Minisat #500: Pull request #212 synchronize by chrjabs
December 20, 2024 13:53 3m 13s cadical-update
cadical-update
December 20, 2024 13:53 3m 13s
CaDiCaL Version 2.1.1 Minisat #499: Pull request #212 synchronize by chrjabs
December 20, 2024 13:38 12m 18s cadical-update
cadical-update
December 20, 2024 13:38 12m 18s
chore(deps): update patch updates (#213) Minisat #498: Commit 9c10a6d pushed by renovate bot
December 20, 2024 13:38 8m 1s main
main
December 20, 2024 13:38 8m 1s
chore(deps): update dependency ubuntu to v24 Minisat #497: Pull request #215 opened by renovate bot
December 20, 2024 13:34 8m 38s renovate/ubuntu-24.x
renovate/ubuntu-24.x
December 20, 2024 13:34 8m 38s
chore(deps): update rust crate bzip2 to 0.5.0 Minisat #496: Pull request #214 opened by renovate bot
December 20, 2024 13:34 6m 8s renovate/bzip2-0.x
renovate/bzip2-0.x
December 20, 2024 13:34 6m 8s
chore(deps): update patch updates Minisat #495: Pull request #213 opened by renovate bot
December 20, 2024 13:31 4m 37s renovate/patch-updates
renovate/patch-updates
December 20, 2024 13:31 4m 37s