Skip to content

Actions: chrjabs/rustsat

Actions

IPASIR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ipasir.yml
709 workflow runs
709 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: SIS MaxSAT algorithm IPASIR #729: Commit 0a245b7 pushed by chrjabs
March 10, 2025 12:29 3m 28s main
main
March 10, 2025 12:29 3m 28s
MaxSAT algorithm: SIS IPASIR #728: Pull request #296 synchronize by chrjabs
March 10, 2025 12:19 3m 16s sis
sis
March 10, 2025 12:19 3m 16s
MaxSAT algorithm: SIS IPASIR #727: Pull request #296 synchronize by chrjabs
March 10, 2025 11:55 2m 31s sis
sis
March 10, 2025 11:55 2m 31s
chore: release IPASIR #726: Pull request #278 synchronize by rustsat-release-plz-bot bot
March 10, 2025 10:06 3m 59s release-plz-2025-02-19T15-54-03Z
release-plz-2025-02-19T15-54-03Z
March 10, 2025 10:06 3m 59s
chore: update PyO3 to 0.24.0 IPASIR #725: Commit 85d4970 pushed by chrjabs
March 10, 2025 09:43 3m 42s main
main
March 10, 2025 09:43 3m 42s
chore: release IPASIR #724: Pull request #278 synchronize by rustsat-release-plz-bot bot
March 10, 2025 09:28 4m 21s release-plz-2025-02-19T15-54-03Z
release-plz-2025-02-19T15-54-03Z
March 10, 2025 09:28 4m 21s
Update PyO3 to 0.24.0 IPASIR #723: Pull request #301 opened by chrjabs
March 10, 2025 09:23 3m 53s pyo3-update
pyo3-update
March 10, 2025 09:23 3m 53s
feat(pyapi): include bimander encoding IPASIR #722: Commit fe9573a pushed by chrjabs
March 10, 2025 09:18 3m 4s main
main
March 10, 2025 09:18 3m 4s
Bimander encoding for Python API IPASIR #721: Pull request #295 synchronize by chrjabs
March 10, 2025 08:51 1m 49s pyapi-bimander
pyapi-bimander
March 10, 2025 08:51 1m 49s
fix(deps): update rust crate pyo3 to 0.24.0 IPASIR #720: Pull request #300 opened by renovate bot
March 10, 2025 03:10 5m 10s renovate/pyo3-0.x
renovate/pyo3-0.x
March 10, 2025 03:10 5m 10s
chore: release IPASIR #719: Pull request #278 synchronize by rustsat-release-plz-bot bot
March 10, 2025 03:08 2m 41s release-plz-2025-02-19T15-54-03Z
release-plz-2025-02-19T15-54-03Z
March 10, 2025 03:08 2m 41s
fix(deps): update rust crate syn to v2.0.100 (#298) IPASIR #718: Commit e026135 pushed by renovate bot
March 10, 2025 03:02 5m 18s main
main
March 10, 2025 03:02 5m 18s
chore(deps): update rust crate pyo3-build-config to 0.24.0 IPASIR #717: Pull request #299 opened by renovate bot
March 10, 2025 02:44 9m 53s renovate/pyo3-build-config-0.x
renovate/pyo3-build-config-0.x
March 10, 2025 02:44 9m 53s
fix(deps): update rust crate syn to v2.0.100 IPASIR #716: Pull request #298 opened by renovate bot
March 10, 2025 02:43 3m 58s renovate/patch-updates
renovate/patch-updates
March 10, 2025 02:43 3m 58s
chore: release IPASIR #715: Pull request #278 synchronize by rustsat-release-plz-bot bot
March 9, 2025 21:52 3m 37s release-plz-2025-02-19T15-54-03Z
release-plz-2025-02-19T15-54-03Z
March 9, 2025 21:52 3m 37s
chore(deps): update rust crate serde to 1.0.219 (#297) IPASIR #714: Commit 45c2a7a pushed by renovate bot
March 9, 2025 21:48 3m 44s main
main
March 9, 2025 21:48 3m 44s
chore(deps): update rust crate serde to 1.0.219 IPASIR #713: Pull request #297 opened by renovate bot
March 9, 2025 21:30 3m 24s renovate/patch-updates
renovate/patch-updates
March 9, 2025 21:30 3m 24s
MaxSAT algorithm: SIS IPASIR #712: Pull request #296 opened by chrjabs
March 9, 2025 09:08 2m 2s sis
sis
March 9, 2025 09:08 2m 2s
Bimander encoding for Python API IPASIR #711: Pull request #295 opened by chrjabs
March 9, 2025 08:03 2m 59s pyapi-bimander
pyapi-bimander
March 9, 2025 08:03 2m 59s
chore(deps): update rust crate tempfile to 3.18.0 IPASIR #710: Commit 3489c1e pushed by chrjabs
March 8, 2025 14:05 10m 17s main
main
March 8, 2025 14:05 10m 17s
fix(deps): update patch updates (#291) IPASIR #709: Commit 8f82f6d pushed by renovate bot
March 8, 2025 14:04 3m 24s main
main
March 8, 2025 14:04 3m 24s
chore(deps): update rust crate tempfile to 3.18.0 IPASIR #708: Pull request #293 opened by renovate bot
March 6, 2025 22:53 5m 7s renovate/tempfile-3.x
renovate/tempfile-3.x
March 6, 2025 22:53 5m 7s
Certified encodings for proof logging IPASIR #707: Pull request #248 synchronize by chrjabs
March 4, 2025 12:25 4m 15s proof-logging
proof-logging
March 4, 2025 12:25 4m 15s
chore(deps): update rust crate nom to v8 IPASIR #706: Pull request #249 synchronize by renovate bot
March 3, 2025 23:46 2m 50s renovate/nom-8.x
renovate/nom-8.x
March 3, 2025 23:46 2m 50s
fix(deps): update patch updates IPASIR #705: Pull request #291 opened by renovate bot
March 3, 2025 23:46 3m 53s renovate/patch-updates
renovate/patch-updates
March 3, 2025 23:46 3m 53s