Skip to content

Actions: SolverForge/solverforge

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
346 workflow runs
346 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
chore(gitignore): ignore rustc long-type diagnostics CI #227: Commit 8240351 pushed by blackopsrepl
6m 40s main
main
6m 40s
docs: codify taxonomy naming contract CI #226: Commit 6410ce7 pushed by blackopsrepl
7m 12s main
main
7m 12s
Merge pull request #50 from SolverForge/codex/add-examples-directory-… CI #225: Commit cee6133 pushed by blackopsrepl
9m 29s main
main
9m 29s
Add runnable example programs and update README example instructions CI #224: Pull request #50 synchronize by blackopsrepl
8m 55s codex/add-examples-directory-with-standard-examples-hzzrlj
codex/add-examples-directory-with-standard-examples-hzzrlj
8m 55s
Add runnable example programs and update README example instructions CI #223: Pull request #50 opened by blackopsrepl
5m 51s codex/add-examples-directory-with-standard-examples-hzzrlj
codex/add-examples-directory-with-standard-examples-hzzrlj
5m 51s
chore(release): 0.11.1 CI #222: Commit d32086c pushed by blackopsrepl
4m 54s main
main
4m 54s
chore(release): 0.11.1 Publish to crates.io #62: Commit d32086c pushed by blackopsrepl
8m 19s v0.11.1
v0.11.1
8m 19s
chore(release): 0.11.1 Release #62: Commit d32086c pushed by blackopsrepl
2m 17s v0.11.1
v0.11.1
2m 17s
fix(release): publish workspace crates only CI #221: Commit 17c7e7f pushed by blackopsrepl
9m 34s main
main
9m 34s
fix(release): publish workspace crates only Publish to crates.io #61: Commit 17c7e7f pushed by blackopsrepl
3m 50s v0.11.1
v0.11.1
3m 50s
fix(release): publish workspace crates only Release #61: Commit 17c7e7f pushed by blackopsrepl
3m 27s v0.11.1
v0.11.1
3m 27s
Publish to crates.io Publish to crates.io #60: by blackopsrepl
8m 2s v0.11.0
v0.11.0
8m 2s
Release Release #60: by blackopsrepl
3m 51s v0.11.0
v0.11.0
3m 51s
feat(facade): re-export solver configuration controls CI #220: Commit c2dc672 pushed by blackopsrepl
9m 10s main
main
9m 10s
chore(release): 0.10.0 Publish to crates.io #59: Commit 11f3f80 pushed by blackopsrepl
8m 2s v0.10.0
v0.10.0
8m 2s
chore(release): 0.10.0 Release #59: Commit 11f3f80 pushed by blackopsrepl
2m 50s v0.10.0
v0.10.0
2m 50s
chore(release): 0.10.0 CI #219: Commit 11f3f80 pushed by blackopsrepl
6m 23s main
main
6m 23s
Merge pull request #48 from NewBornRustacean/feat-skip-unrelated-inse… CI #218: Commit 9579709 pushed by blackopsrepl
6m 22s main
main
6m 22s
early return and test case to verify it CI #217: Pull request #48 opened by NewBornRustacean
6m 20s NewBornRustacean:feat-skip-unrelated-insert-cross-bi
NewBornRustacean:feat-skip-unrelated-insert-cross-bi
6m 20s
fix(macros): simplify solution flag parsing CI #216: Commit 25b4c6f pushed by blackopsrepl
6m 30s main
main
6m 30s
fix(solver): compare all hard levels for repair gating CI #215: Commit 3df8b14 pushed by blackopsrepl
2m 7s main
main
2m 7s
return Sc::zero() for unchanged CI #214: Pull request #47 opened by NewBornRustacean
6m 15s NewBornRustacean:early-return-cross_bi_incremental
NewBornRustacean:early-return-cross_bi_incremental
6m 15s
test(solver): cover conflict repair metadata validation CI #213: Commit 6012e0e pushed by blackopsrepl
5m 56s main
main
5m 56s
test(solver): bound manager integration event waits CI #212: Commit bb55e89 pushed by blackopsrepl
10m 23s main
main
10m 23s
fix(ci): satisfy clippy termination config tests CI #211: Commit a8942ca pushed by blackopsrepl
4m 15s main
main
4m 15s