Skip to content

Actions: chrjabs/rustsat

Actions

CaDiCaL

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
cadical.yml
738 workflow runs
738 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Check solutions in solver tests CaDiCaL #140: Pull request #91 opened by chrjabs
April 23, 2024 12:23 2m 41s tests/check-solutions
tests/check-solutions
April 23, 2024 12:23 2m 41s
chore: release CaDiCaL #139: Pull request #69 synchronize by chrjabs
April 23, 2024 10:53 3m 16s release-plz-2024-03-26T10-26-07Z
release-plz-2024-03-26T10-26-07Z
April 23, 2024 10:53 3m 16s
docs: fix broken links CaDiCaL #138: Commit 466749b pushed by chrjabs
April 23, 2024 10:49 3m 13s main
main
April 23, 2024 10:49 3m 13s
Add missing documentation CaDiCaL #137: Pull request #90 synchronize by chrjabs
April 23, 2024 10:45 1m 40s docs/missing
docs/missing
April 23, 2024 10:45 1m 40s
Add missing documentation CaDiCaL #136: Pull request #90 opened by chrjabs
April 23, 2024 10:33 2m 59s docs/missing
docs/missing
April 23, 2024 10:33 2m 59s
SAT solver output parser CaDiCaL #135: Pull request #86 synchronize by atimaly
April 22, 2024 09:08 3m 56s atimaly:main
atimaly:main
April 22, 2024 09:08 3m 56s
chore: release CaDiCaL #134: Pull request #69 synchronize by chrjabs
April 22, 2024 07:02 3m 38s release-plz-2024-03-26T10-26-07Z
release-plz-2024-03-26T10-26-07Z
April 22, 2024 07:02 3m 38s
build(deps): bump install-pinned/maturin CaDiCaL #133: Commit 069a68d pushed by chrjabs
April 22, 2024 06:58 3m 19s main
main
April 22, 2024 06:58 3m 19s
chore: release CaDiCaL #132: Pull request #69 synchronize by chrjabs
April 22, 2024 06:13 1m 55s release-plz-2024-03-26T10-26-07Z
release-plz-2024-03-26T10-26-07Z
April 22, 2024 06:13 1m 55s
build(deps): bump install-pinned/maturin from dfebcaa782a69944b584ec164e97fbbd09885352 to 9ef429e73235cb3ab68a9f8677ca10a189592a5e CaDiCaL #131: Pull request #89 synchronize by dependabot bot
April 22, 2024 06:09 6m 7s dependabot/github_actions/install-pinned/maturin-9ef429e73235cb3ab68a9f8677ca10a189592a5e
dependabot/github_actions/install-pinned/maturin-9ef429e73235cb3ab68a9f8677ca10a189592a5e
April 22, 2024 06:09 6m 7s
build(deps): bump install-pinned/mypy CaDiCaL #130: Commit 783a0f0 pushed by chrjabs
April 22, 2024 06:08 3m 27s main
main
April 22, 2024 06:08 3m 27s
build(deps): bump install-pinned/maturin from dfebcaa782a69944b584ec164e97fbbd09885352 to 9ef429e73235cb3ab68a9f8677ca10a189592a5e CaDiCaL #129: Pull request #89 opened by dependabot bot
April 19, 2024 21:50 5m 5s dependabot/github_actions/install-pinned/maturin-9ef429e73235cb3ab68a9f8677ca10a189592a5e
dependabot/github_actions/install-pinned/maturin-9ef429e73235cb3ab68a9f8677ca10a189592a5e
April 19, 2024 21:50 5m 5s
build(deps): bump install-pinned/mypy from c2223951641cbb406fa8526d08f0690899f130e4 to 1b1dc20bbf8c461442db4527e6f98e2ae995826f CaDiCaL #128: Pull request #88 opened by dependabot bot
April 19, 2024 21:50 2m 31s dependabot/github_actions/install-pinned/mypy-1b1dc20bbf8c461442db4527e6f98e2ae995826f
dependabot/github_actions/install-pinned/mypy-1b1dc20bbf8c461442db4527e6f98e2ae995826f
April 19, 2024 21:50 2m 31s
Out of memory errors CaDiCaL #126: Pull request #87 synchronize by chrjabs
April 18, 2024 13:20 2m 16s feature/catch-memout
feature/catch-memout
April 18, 2024 13:20 2m 16s
Out of memory errors CaDiCaL #125: Pull request #87 synchronize by chrjabs
April 18, 2024 12:51 3m 19s feature/catch-memout
feature/catch-memout
April 18, 2024 12:51 3m 19s
Out of memory errors CaDiCaL #124: Pull request #87 synchronize by chrjabs
April 18, 2024 12:46 2m 52s feature/catch-memout
feature/catch-memout
April 18, 2024 12:46 2m 52s
Out of memory errors CaDiCaL #123: Pull request #87 synchronize by chrjabs
April 18, 2024 07:42 1m 33s feature/catch-memout
feature/catch-memout
April 18, 2024 07:42 1m 33s
Out of memory errors CaDiCaL #122: Pull request #87 opened by chrjabs
April 17, 2024 11:59 2m 4s feature/catch-memout
feature/catch-memout
April 17, 2024 11:59 2m 4s
SAT solver output parser CaDiCaL #121: Pull request #86 synchronize by atimaly
April 16, 2024 13:06 2m 16s atimaly:main
atimaly:main
April 16, 2024 13:06 2m 16s
SAT solver output parser CaDiCaL #120: Pull request #86 synchronize by atimaly
April 16, 2024 10:22 4m 12s atimaly:main
atimaly:main
April 16, 2024 10:22 4m 12s
chore: release CaDiCaL #118: Pull request #69 synchronize by chrjabs
April 15, 2024 13:17 2m 34s release-plz-2024-03-26T10-26-07Z
release-plz-2024-03-26T10-26-07Z
April 15, 2024 13:17 2m 34s
feat: Extend<&Clause> for solvers CaDiCaL #117: Commit ed615f8 pushed by chrjabs
April 15, 2024 13:11 3m 59s main
main
April 15, 2024 13:11 3m 59s
Improve API ergonomics CaDiCaL #116: Pull request #82 synchronize by chrjabs
April 15, 2024 13:06 1m 38s feature/ergonomics
feature/ergonomics
April 15, 2024 13:06 1m 38s
Improve API ergonomics CaDiCaL #115: Pull request #82 synchronize by chrjabs
April 15, 2024 12:53 1m 51s feature/ergonomics
feature/ergonomics
April 15, 2024 12:53 1m 51s
Improve API ergonomics CaDiCaL #114: Pull request #82 synchronize by chrjabs
April 15, 2024 12:34 6m 45s feature/ergonomics
feature/ergonomics
April 15, 2024 12:34 6m 45s
ProTip! You can narrow down the results and go further in time using created:<2024-04-15 or the other filters available.