Skip to content

Actions: chrjabs/rustsat

Actions

BatSat

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
batsat.yml
322 workflow runs
322 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix(deps): update rust crate quote to v1.0.38 (#222) BatSat #258: Commit f7ecfd1 pushed by renovate bot
December 26, 2024 20:31 3m 55s main
main
December 26, 2024 20:31 3m 55s
fix(deps): update rust crate quote to v1.0.38 BatSat #257: Pull request #222 opened by renovate bot
December 26, 2024 20:25 3m 14s renovate/patch-updates
renovate/patch-updates
December 26, 2024 20:25 3m 14s
chore(deps): update install-pinned/maturin digest to 1008b0b BatSat #256: Pull request #221 opened by renovate bot
December 25, 2024 19:39 2m 4s renovate/install-pinned-maturin-digest
renovate/install-pinned-maturin-digest
December 25, 2024 19:39 2m 4s
chore(deps): lock file maintenance BatSat #255: Pull request #220 opened by renovate bot
December 22, 2024 22:14 3m 54s renovate/lock-file-maintenance
renovate/lock-file-maintenance
December 22, 2024 22:14 3m 54s
chore(deps): update install-pinned/mypy digest to 75779f1 - autoclosed BatSat #254: Pull request #216 synchronize by renovate bot
December 22, 2024 20:34 4m 28s renovate/install-pinned-mypy-digest
renovate/install-pinned-mypy-digest
December 22, 2024 20:34 4m 28s
chore: release BatSat #253: Pull request #218 synchronize by rustsat-release-plz-bot bot
December 22, 2024 20:34 2m 54s release-plz-2024-12-21T19-06-42Z
release-plz-2024-12-21T19-06-42Z
December 22, 2024 20:34 2m 54s
fix(deps): update patch updates (#219) BatSat #252: Commit 50d2c36 pushed by renovate bot
December 22, 2024 20:28 3m 32s main
main
December 22, 2024 20:28 3m 32s
fix(deps): update patch updates BatSat #251: Pull request #219 opened by renovate bot
December 22, 2024 20:22 2m 55s renovate/patch-updates
renovate/patch-updates
December 22, 2024 20:22 2m 55s
chore(deps): update install-pinned/mypy digest to 75779f1 - autoclosed BatSat #250: Pull request #216 synchronize by renovate bot
December 21, 2024 19:07 3m 7s renovate/install-pinned-mypy-digest
renovate/install-pinned-mypy-digest
December 21, 2024 19:07 3m 7s
chore: release BatSat #249: Pull request #218 opened by rustsat-release-plz-bot bot
December 21, 2024 19:06 2m 46s release-plz-2024-12-21T19-06-42Z
release-plz-2024-12-21T19-06-42Z
December 21, 2024 19:06 2m 46s
chore(deps): update rust crate thiserror to 2.0.9 (#217) BatSat #248: Commit 376083e pushed by renovate bot
December 21, 2024 19:00 3m 9s main
main
December 21, 2024 19:00 3m 9s
chore(deps): update rust crate thiserror to 2.0.9 BatSat #247: Pull request #217 opened by renovate bot
December 21, 2024 18:55 2m 26s renovate/patch-updates
renovate/patch-updates
December 21, 2024 18:55 2m 26s
chore(deps): update install-pinned/mypy digest to 75779f1 - autoclosed BatSat #246: Pull request #216 opened by renovate bot
December 20, 2024 21:08 3m 23s renovate/install-pinned-mypy-digest
renovate/install-pinned-mypy-digest
December 20, 2024 21:08 3m 23s
chore: release BatSat #245: Commit 91a4161 pushed by chrjabs
December 20, 2024 14:36 3m 50s main
main
December 20, 2024 14:36 3m 50s
chore: release BatSat #244: Pull request #208 synchronize by chrjabs
December 20, 2024 14:24 3m 12s release-plz-2024-12-18T09-54-12Z
release-plz-2024-12-18T09-54-12Z
December 20, 2024 14:24 3m 12s
chore: release BatSat #243: Pull request #208 synchronize by chrjabs
December 20, 2024 14:19 3m 19s release-plz-2024-12-18T09-54-12Z
release-plz-2024-12-18T09-54-12Z
December 20, 2024 14:19 3m 19s
chore: release BatSat #242: Pull request #208 synchronize by rustsat-release-plz-bot bot
December 20, 2024 14:13 3m 23s release-plz-2024-12-18T09-54-12Z
release-plz-2024-12-18T09-54-12Z
December 20, 2024 14:13 3m 23s
chore(deps): update rust crate bzip2 to 0.5.0 BatSat #241: Commit c8ab3e1 pushed by chrjabs
December 20, 2024 14:09 3m 40s main
main
December 20, 2024 14:09 3m 40s
chore: release BatSat #240: Pull request #208 synchronize by rustsat-release-plz-bot bot
December 20, 2024 14:06 3m 0s release-plz-2024-12-18T09-54-12Z
release-plz-2024-12-18T09-54-12Z
December 20, 2024 14:06 3m 0s
feat(cadical): version 2.1.1 BatSat #239: Commit 6232691 pushed by chrjabs
December 20, 2024 13:57 6m 22s main
main
December 20, 2024 13:57 6m 22s
chore(deps): update rust crate bzip2 to 0.5.0 BatSat #238: Pull request #214 synchronize by renovate bot
December 20, 2024 13:55 5m 47s renovate/bzip2-0.x
renovate/bzip2-0.x
December 20, 2024 13:55 5m 47s
chore(deps): update dependency ubuntu to v24 BatSat #237: Commit ef77f7a pushed by chrjabs
December 20, 2024 13:54 5m 5s main
main
December 20, 2024 13:54 5m 5s
CaDiCaL Version 2.1.1 BatSat #236: Pull request #212 synchronize by chrjabs
December 20, 2024 13:53 1m 49s cadical-update
cadical-update
December 20, 2024 13:53 1m 49s
CaDiCaL Version 2.1.1 BatSat #235: Pull request #212 synchronize by chrjabs
December 20, 2024 13:38 12m 31s cadical-update
cadical-update
December 20, 2024 13:38 12m 31s
chore(deps): update patch updates (#213) BatSat #234: Commit 9c10a6d pushed by renovate bot
December 20, 2024 13:38 6m 16s main
main
December 20, 2024 13:38 6m 16s