Skip to content

Actions: chrjabs/rustsat

Actions

RustSAT

Actions

Loading...

Show workflow options

Create status badge

rustsat.yml
162 workflow runs
162 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Factor out C-API, Python API and solver tests into their own crates RustSAT #88: Pull request #80 synchronize by chrjabs
April 9, 2024 13:59 5m 36s refactor/solver-tests
refactor/solver-tests
April 9, 2024 13:59 5m 36s
Factor out C-API, Python API and solver tests into their own crates RustSAT #87: Pull request #80 synchronize by chrjabs
April 9, 2024 13:58 4m 9s refactor/solver-tests
refactor/solver-tests
April 9, 2024 13:58 4m 9s
Factor out C-API, Python API and solver tests into their own crates RustSAT #86: Pull request #80 synchronize by chrjabs
April 9, 2024 12:20 3m 1s refactor/solver-tests
refactor/solver-tests
April 9, 2024 12:20 3m 1s
Factor out C-API, Python API and solver tests into their own crates RustSAT #85: Pull request #80 synchronize by chrjabs
April 8, 2024 13:25 5m 6s refactor/solver-tests
refactor/solver-tests
April 8, 2024 13:25 5m 6s
Factor out C-API, Python API and solver tests into their own crates RustSAT #84: Pull request #80 synchronize by chrjabs
April 7, 2024 17:21 6m 15s refactor/solver-tests
refactor/solver-tests
April 7, 2024 17:21 6m 15s
Improve API ergonomics RustSAT #83: Pull request #82 synchronize by chrjabs
April 7, 2024 17:17 9m 37s feature/ergonomics
feature/ergonomics
April 7, 2024 17:17 9m 37s
Factor out C-API, Python API and solver tests into their own crates RustSAT #82: Pull request #80 synchronize by chrjabs
April 7, 2024 17:15 3m 4s refactor/solver-tests
refactor/solver-tests
April 7, 2024 17:15 3m 4s
Improve API ergonomics RustSAT #81: Pull request #82 opened by chrjabs
April 7, 2024 17:11 5m 23s feature/ergonomics
feature/ergonomics
April 7, 2024 17:11 5m 23s
Factor out C-API, Python API and solver tests into their own crates RustSAT #80: Pull request #80 opened by chrjabs
April 4, 2024 08:46 5m 9s refactor/solver-tests
refactor/solver-tests
April 4, 2024 08:46 5m 9s
chore: release RustSAT #79: Pull request #69 synchronize by chrjabs
April 4, 2024 08:43 4m 46s release-plz-2024-03-26T10-26-07Z
release-plz-2024-03-26T10-26-07Z
April 4, 2024 08:43 4m 46s
chore: clippy lints RustSAT #78: Commit d768c48 pushed by chrjabs
April 4, 2024 08:36 4m 9s main
main
April 4, 2024 08:36 4m 9s
fix: segfault in minisat RustSAT #77: Pull request #75 synchronize by chrjabs
April 4, 2024 08:25 3m 58s bugfix/minisat-simp-segfault
bugfix/minisat-simp-segfault
April 4, 2024 08:25 3m 58s
fix: segfault in minisat RustSAT #76: Pull request #75 synchronize by chrjabs
April 4, 2024 08:24 3m 0s bugfix/minisat-simp-segfault
bugfix/minisat-simp-segfault
April 4, 2024 08:24 3m 0s
fix: segfault in minisat RustSAT #75: Pull request #75 synchronize by chrjabs
April 4, 2024 08:18 3m 57s bugfix/minisat-simp-segfault
bugfix/minisat-simp-segfault
April 4, 2024 08:18 3m 57s
fix: segfault in minisat RustSAT #74: Pull request #75 synchronize by chrjabs
April 4, 2024 08:16 2m 26s bugfix/minisat-simp-segfault
bugfix/minisat-simp-segfault
April 4, 2024 08:16 2m 26s
fix: segfault in minisat RustSAT #73: Pull request #75 synchronize by chrjabs
April 4, 2024 06:51 4m 37s bugfix/minisat-simp-segfault
bugfix/minisat-simp-segfault
April 4, 2024 06:51 4m 37s
fix: segfault in minisat RustSAT #72: Pull request #75 synchronize by chrjabs
April 3, 2024 14:12 2m 43s bugfix/minisat-simp-segfault
bugfix/minisat-simp-segfault
April 3, 2024 14:12 2m 43s
chore: release RustSAT #71: Pull request #69 synchronize by chrjabs
April 3, 2024 14:00 4m 34s release-plz-2024-03-26T10-26-07Z
release-plz-2024-03-26T10-26-07Z
April 3, 2024 14:00 4m 34s
Add 'Send' to solvers, and add tests RustSAT #70: Commit 78f44e8 pushed by chrjabs
April 3, 2024 13:51 4m 42s main
main
April 3, 2024 13:51 4m 42s
Add 'Send' to glucose RustSAT #69: Pull request #77 synchronize by ChrisJefferson
April 3, 2024 12:30 4m 41s ChrisJefferson:send-glucose
ChrisJefferson:send-glucose
April 3, 2024 12:30 4m 41s
fix: segfault in minisat RustSAT #68: Pull request #75 synchronize by chrjabs
April 2, 2024 17:23 4m 7s bugfix/minisat-simp-segfault
bugfix/minisat-simp-segfault
April 2, 2024 17:23 4m 7s
fix: segfault in minisat RustSAT #67: Pull request #75 synchronize by chrjabs
April 2, 2024 17:03 3m 55s bugfix/minisat-simp-segfault
bugfix/minisat-simp-segfault
April 2, 2024 17:03 3m 55s
Add 'Send' to glucose RustSAT #66: Pull request #77 synchronize by ChrisJefferson
April 2, 2024 12:27 4m 30s ChrisJefferson:send-glucose
ChrisJefferson:send-glucose
April 2, 2024 12:27 4m 30s
fix: segfault in minisat RustSAT #65: Pull request #75 synchronize by chrjabs
April 2, 2024 11:09 5m 29s bugfix/minisat-simp-segfault
bugfix/minisat-simp-segfault
April 2, 2024 11:09 5m 29s
fix: segfault in minisat RustSAT #64: Pull request #75 synchronize by chrjabs
April 2, 2024 10:45 4m 19s bugfix/minisat-simp-segfault
bugfix/minisat-simp-segfault
April 2, 2024 10:45 4m 19s