Skip to content

Actions: chrjabs/rustsat

Actions

Python Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pyapi.yml
775 workflow runs
775 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Allow for limiting number of enumerated solutions in enumerator Python Build #851: Pull request #279 opened by chrjabs
February 19, 2025 15:54 10m 38s enumerator
enumerator
February 19, 2025 15:54 10m 38s
chore: release Python Build #850: Pull request #278 opened by rustsat-release-plz-bot bot
February 19, 2025 15:54 5m 3s release-plz-2025-02-19T15-54-03Z
release-plz-2025-02-19T15-54-03Z
February 19, 2025 15:54 5m 3s
doc: fix Bitwise reference Python Build #849: Commit 6d5fa48 pushed by chrjabs
February 19, 2025 15:52 3m 11s main
main
February 19, 2025 15:52 3m 11s
Fix incorrect references for some encodings Python Build #848: Pull request #277 opened by chrjabs
February 19, 2025 15:12 4m 44s fix-ref
fix-ref
February 19, 2025 15:12 4m 44s
chore: manual release tasks Python Build #847: Commit b5b2b3f pushed by rustsat-release-plz-bot bot
February 19, 2025 08:53 4m 25s rustsat-batsat-v0.1.3
rustsat-batsat-v0.1.3
February 19, 2025 08:53 4m 25s
chore: manual release tasks Python Build #846: Commit b5b2b3f pushed by rustsat-release-plz-bot bot
February 19, 2025 08:53 3m 57s rustsat-ipasir-v0.1.6
rustsat-ipasir-v0.1.6
February 19, 2025 08:53 3m 57s
chore: manual release tasks Python Build #845: Commit b5b2b3f pushed by rustsat-release-plz-bot bot
February 19, 2025 08:53 3m 31s rustsat-glucose-v0.3.6
rustsat-glucose-v0.3.6
February 19, 2025 08:53 3m 31s
chore: manual release tasks Python Build #844: Commit b5b2b3f pushed by rustsat-release-plz-bot bot
February 19, 2025 08:53 3m 34s rustsat-kissat-v0.3.4
rustsat-kissat-v0.3.4
February 19, 2025 08:53 3m 34s
chore: manual release tasks Python Build #843: Commit b5b2b3f pushed by rustsat-release-plz-bot bot
February 19, 2025 08:52 3m 48s rustsat-tools-v0.4.4
rustsat-tools-v0.4.4
February 19, 2025 08:52 3m 48s
chore: manual release tasks Python Build #842: Commit b5b2b3f pushed by rustsat-release-plz-bot bot
February 19, 2025 08:51 3m 17s rustsat-minisat-v0.4.4
rustsat-minisat-v0.4.4
February 19, 2025 08:51 3m 17s
chore: manual release tasks Python Build #841: Commit b5b2b3f pushed by rustsat-release-plz-bot bot
February 19, 2025 08:51 4m 10s rustsat-cadical-v0.4.4
rustsat-cadical-v0.4.4
February 19, 2025 08:51 4m 10s
chore: manual release tasks Python Build #840: Commit b5b2b3f pushed by rustsat-release-plz-bot bot
February 19, 2025 08:49 4m 17s rustsat-v0.6.4
rustsat-v0.6.4
February 19, 2025 08:49 4m 17s
chore: manual release tasks Python Build #839: Commit b5b2b3f pushed by chrjabs
February 19, 2025 08:47 3m 45s main
main
February 19, 2025 08:47 3m 45s
chore: release Python Build #838: Pull request #233 synchronize by chrjabs
February 18, 2025 15:27 5m 58s release-plz-2025-01-08T07-51-18Z
release-plz-2025-01-08T07-51-18Z
February 18, 2025 15:27 5m 58s
chore: release Python Build #837: Pull request #233 synchronize by rustsat-release-plz-bot bot
February 18, 2025 15:19 5m 22s release-plz-2025-01-08T07-51-18Z
release-plz-2025-01-08T07-51-18Z
February 18, 2025 15:19 5m 22s
chore(deps): remove atty dependency Python Build #836: Commit 7614065 pushed by chrjabs
February 18, 2025 15:12 8m 21s main
main
February 18, 2025 15:12 8m 21s
Improve enumerator tool Python Build #835: Pull request #276 synchronize by chrjabs
February 18, 2025 14:53 4m 21s enumerator
enumerator
February 18, 2025 14:53 4m 21s
chore: release Python Build #834: Pull request #233 synchronize by rustsat-release-plz-bot bot
February 18, 2025 14:48 4m 22s release-plz-2025-01-08T07-51-18Z
release-plz-2025-01-08T07-51-18Z
February 18, 2025 14:48 4m 22s
feat: optional serde support Python Build #833: Commit cf4fd62 pushed by chrjabs
February 18, 2025 14:39 8m 51s main
main
February 18, 2025 14:39 8m 51s
Improve enumerator tool Python Build #832: Pull request #276 synchronize by chrjabs
February 18, 2025 14:38 5m 49s enumerator
enumerator
February 18, 2025 14:38 5m 49s
Improve enumerator tool Python Build #831: Pull request #276 opened by chrjabs
February 18, 2025 14:36 5m 43s enumerator
enumerator
February 18, 2025 14:36 5m 43s
Optional serde support Python Build #830: Pull request #275 synchronize by chrjabs
February 18, 2025 13:20 5m 7s serde
serde
February 18, 2025 13:20 5m 7s
Optional serde support Python Build #829: Pull request #275 opened by chrjabs
February 18, 2025 13:15 4m 34s serde
serde
February 18, 2025 13:15 4m 34s
chore(deps): update patch updates (#274) Python Build #828: Commit fa4fde7 pushed by renovate bot
February 17, 2025 23:22 4m 42s main
main
February 17, 2025 23:22 4m 42s
chore(deps): update patch updates Python Build #827: Pull request #274 opened by renovate bot
February 17, 2025 23:03 2m 48s renovate/patch-updates
renovate/patch-updates
February 17, 2025 23:03 2m 48s