Skip to content

Actions: chrjabs/rustsat

Actions

Minisat

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
minisat.yml
630 workflow runs
630 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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