Skip to content

Actions: chrjabs/rustsat

Actions

BatSat

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
batsat.yml
439 workflow runs
439 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Development shell improvements BatSat #450: Pull request #282 opened by chrjabs
February 21, 2025 12:58 In progress precommit-hooks
precommit-hooks
February 21, 2025 12:58 In progress
chore: release BatSat #449: Pull request #278 synchronize by rustsat-release-plz-bot bot
February 21, 2025 12:30 2m 52s release-plz-2025-02-19T15-54-03Z
release-plz-2025-02-19T15-54-03Z
February 21, 2025 12:30 2m 52s
feat(cadical): include source for newest version BatSat #448: Commit b166879 pushed by chrjabs
February 21, 2025 12:23 4m 2s main
main
February 21, 2025 12:23 4m 2s
Include external projects as subtrees BatSat #447: Pull request #280 synchronize by chrjabs
February 21, 2025 12:02 3m 29s subtrees
subtrees
February 21, 2025 12:02 3m 29s
chore: release BatSat #446: Pull request #278 synchronize by rustsat-release-plz-bot bot
February 20, 2025 19:10 5m 12s release-plz-2025-02-19T15-54-03Z
release-plz-2025-02-19T15-54-03Z
February 20, 2025 19:10 5m 12s
chore(deps): update patch updates (#281) BatSat #445: Commit 9ab3929 pushed by renovate bot
February 20, 2025 19:06 3m 26s main
main
February 20, 2025 19:06 3m 26s
chore(deps): update patch updates BatSat #444: Pull request #281 opened by renovate bot
February 20, 2025 18:47 4m 1s renovate/patch-updates
renovate/patch-updates
February 20, 2025 18:47 4m 1s
Include external projects as subtrees BatSat #443: Pull request #280 synchronize by chrjabs
February 20, 2025 14:24 4m 0s subtrees
subtrees
February 20, 2025 14:24 4m 0s
Include external projects as subtrees BatSat #442: Pull request #280 opened by chrjabs
February 20, 2025 14:15 3m 37s subtrees
subtrees
February 20, 2025 14:15 3m 37s
chore: release BatSat #441: Pull request #278 synchronize by rustsat-release-plz-bot bot
February 19, 2025 16:15 3m 25s release-plz-2025-02-19T15-54-03Z
release-plz-2025-02-19T15-54-03Z
February 19, 2025 16:15 3m 25s
feat(tools): limit number of enumerated solutions in enumerator BatSat #440: Commit 93e9a5a pushed by chrjabs
February 19, 2025 16:13 3m 51s main
main
February 19, 2025 16:13 3m 51s
Allow for limiting number of enumerated solutions in enumerator BatSat #439: Pull request #279 opened by chrjabs
February 19, 2025 15:54 9m 25s enumerator
enumerator
February 19, 2025 15:54 9m 25s
chore: release BatSat #438: Pull request #278 opened by rustsat-release-plz-bot bot
February 19, 2025 15:54 4m 49s release-plz-2025-02-19T15-54-03Z
release-plz-2025-02-19T15-54-03Z
February 19, 2025 15:54 4m 49s
doc: fix Bitwise reference BatSat #437: Commit 6d5fa48 pushed by chrjabs
February 19, 2025 15:52 3m 4s main
main
February 19, 2025 15:52 3m 4s
Fix incorrect references for some encodings BatSat #436: Pull request #277 opened by chrjabs
February 19, 2025 15:12 4m 3s fix-ref
fix-ref
February 19, 2025 15:12 4m 3s
chore: manual release tasks BatSat #435: Commit b5b2b3f pushed by chrjabs
February 19, 2025 08:47 4m 17s main
main
February 19, 2025 08:47 4m 17s
chore: release BatSat #434: Pull request #233 synchronize by chrjabs
February 18, 2025 15:27 4m 17s release-plz-2025-01-08T07-51-18Z
release-plz-2025-01-08T07-51-18Z
February 18, 2025 15:27 4m 17s
chore: release BatSat #433: Pull request #233 synchronize by rustsat-release-plz-bot bot
February 18, 2025 15:19 3m 1s release-plz-2025-01-08T07-51-18Z
release-plz-2025-01-08T07-51-18Z
February 18, 2025 15:19 3m 1s
chore(deps): remove atty dependency BatSat #432: Commit 7614065 pushed by chrjabs
February 18, 2025 15:12 3m 31s main
main
February 18, 2025 15:12 3m 31s
Improve enumerator tool BatSat #431: Pull request #276 synchronize by chrjabs
February 18, 2025 14:53 3m 32s enumerator
enumerator
February 18, 2025 14:53 3m 32s
chore: release BatSat #430: Pull request #233 synchronize by rustsat-release-plz-bot bot
February 18, 2025 14:48 4m 11s release-plz-2025-01-08T07-51-18Z
release-plz-2025-01-08T07-51-18Z
February 18, 2025 14:48 4m 11s
feat: optional serde support BatSat #429: Commit cf4fd62 pushed by chrjabs
February 18, 2025 14:39 7m 20s main
main
February 18, 2025 14:39 7m 20s
Improve enumerator tool BatSat #428: Pull request #276 synchronize by chrjabs
February 18, 2025 14:38 5m 38s enumerator
enumerator
February 18, 2025 14:38 5m 38s
Improve enumerator tool BatSat #427: Pull request #276 opened by chrjabs
February 18, 2025 14:36 4m 7s enumerator
enumerator
February 18, 2025 14:36 4m 7s
Optional serde support BatSat #426: Pull request #275 synchronize by chrjabs
February 18, 2025 13:20 2m 59s serde
serde
February 18, 2025 13:20 2m 59s