Skip to content

Actions: chrjabs/rustsat

Actions

RustSAT Tools

Actions

Loading...

Show workflow options

Create status badge

tools.yml
161 workflow runs
161 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
fix(ci): fix release-plz checking next version RustSAT Tools #170: Commit ca2b7e0 pushed by chrjabs
May 2, 2024 08:25 3m 44s main
main
May 2, 2024 08:25 3m 44s
Fix release-plz checking next version RustSAT Tools #169: Pull request #99 opened by chrjabs
May 2, 2024 07:41 3m 30s fix/release-ci
fix/release-ci
May 2, 2024 07:41 3m 30s
chore: fix release RustSAT Tools #168: Commit f8d6dd8 pushed by chrjabs
April 30, 2024 14:15 3m 13s main
main
April 30, 2024 14:15 3m 13s
chore: fix release RustSAT Tools #167: Commit 5549018 pushed by chrjabs
April 30, 2024 14:11 4m 42s main
main
April 30, 2024 14:11 4m 42s
chore: release RustSAT Tools #166: Commit 3568fac pushed by chrjabs
April 30, 2024 13:47 2m 48s main
main
April 30, 2024 13:47 2m 48s
chore: release RustSAT Tools #165: Pull request #95 synchronize by chrjabs
April 30, 2024 13:27 3m 57s release-plz-2024-04-29T12-30-28Z
release-plz-2024-04-29T12-30-28Z
April 30, 2024 13:27 3m 57s
chore: release RustSAT Tools #164: Pull request #95 synchronize by chrjabs
April 29, 2024 13:49 2m 41s release-plz-2024-04-29T12-30-28Z
release-plz-2024-04-29T12-30-28Z
April 29, 2024 13:49 2m 41s
chore: cleanup capi examples RustSAT Tools #163: Commit 0fb0e12 pushed by chrjabs
April 29, 2024 13:46 4m 25s main
main
April 29, 2024 13:46 4m 25s
chore: release RustSAT Tools #162: Pull request #95 synchronize by chrjabs
April 29, 2024 13:44 4m 3s release-plz-2024-04-29T12-30-28Z
release-plz-2024-04-29T12-30-28Z
April 29, 2024 13:44 4m 3s
feat: ipasir-display feature RustSAT Tools #161: Commit 28c68a1 pushed by chrjabs
April 29, 2024 13:41 4m 16s main
main
April 29, 2024 13:41 4m 16s
Cleanup C-API examples RustSAT Tools #160: Pull request #97 opened by chrjabs
April 29, 2024 13:40 3m 52s capi-cleanup
capi-cleanup
April 29, 2024 13:40 3m 52s
ipasir-display feature RustSAT Tools #159: Pull request #96 opened by chrjabs
April 29, 2024 13:35 4m 7s feature/ipasir-display
feature/ipasir-display
April 29, 2024 13:35 4m 7s
chore: release RustSAT Tools #158: Pull request #95 opened by chrjabs
April 29, 2024 12:30 4m 1s release-plz-2024-04-29T12-30-28Z
release-plz-2024-04-29T12-30-28Z
April 29, 2024 12:30 4m 1s
chore: cleanup output parsing RustSAT Tools #157: Commit 81c27d4 pushed by chrjabs
April 29, 2024 12:25 4m 11s main
main
April 29, 2024 12:25 4m 11s
Parse solver output of external solvers RustSAT Tools #156: Pull request #94 opened by chrjabs
April 29, 2024 12:16 4m 49s feat/solver-output
feat/solver-output
April 29, 2024 12:16 4m 49s
chore: release RustSAT Tools #155: Pull request #69 synchronize by chrjabs
April 26, 2024 11:56 2m 39s release-plz-2024-03-26T10-26-07Z
release-plz-2024-03-26T10-26-07Z
April 26, 2024 11:56 2m 39s
chore: release RustSAT Tools #154: Pull request #69 synchronize by chrjabs
April 26, 2024 10:32 3m 59s release-plz-2024-03-26T10-26-07Z
release-plz-2024-03-26T10-26-07Z
April 26, 2024 10:32 3m 59s
build: fix external api version checks RustSAT Tools #153: Commit fdc23c9 pushed by chrjabs
April 26, 2024 10:24 3m 1s main
main
April 26, 2024 10:24 3m 1s
Out of memory errors RustSAT Tools #152: Pull request #87 synchronize by chrjabs
April 26, 2024 08:07 4m 0s feature/catch-memout
feature/catch-memout
April 26, 2024 08:07 4m 0s
Out of memory errors RustSAT Tools #151: Pull request #87 synchronize by chrjabs
April 25, 2024 18:20 4m 14s feature/catch-memout
feature/catch-memout
April 25, 2024 18:20 4m 14s
Out of memory errors RustSAT Tools #150: Pull request #87 synchronize by chrjabs
April 25, 2024 18:13 4m 27s feature/catch-memout
feature/catch-memout
April 25, 2024 18:13 4m 27s
Out of memory errors RustSAT Tools #149: Pull request #87 synchronize by chrjabs
April 25, 2024 18:08 4m 38s feature/catch-memout
feature/catch-memout
April 25, 2024 18:08 4m 38s
Out of memory errors RustSAT Tools #148: Pull request #87 synchronize by chrjabs
April 25, 2024 17:57 5m 17s feature/catch-memout
feature/catch-memout
April 25, 2024 17:57 5m 17s
SAT solver output parser RustSAT Tools #147: Pull request #86 synchronize by atimaly
April 25, 2024 13:46 3m 53s atimaly:main
atimaly:main
April 25, 2024 13:46 3m 53s
chore: release RustSAT Tools #146: Pull request #69 synchronize by chrjabs
April 25, 2024 10:37 3m 59s release-plz-2024-03-26T10-26-07Z
release-plz-2024-03-26T10-26-07Z
April 25, 2024 10:37 3m 59s