Skip to content

Actions: SolverForge/solverforge

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
238 workflow runs
238 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
feat(console): use emerald truecolor banner output CI #163: Commit 0f08921 pushed by blackopsrepl
3m 22s main
main
3m 22s
chore(release): 0.8.1 Publish to crates.io #38: Commit 149d85e pushed by blackopsrepl
6m 53s v0.8.1
v0.8.1
6m 53s
chore(release): 0.8.1 Release #38: Commit 149d85e pushed by blackopsrepl
2m 34s v0.8.1
v0.8.1
2m 34s
chore(release): 0.8.1 CI #162: Commit 149d85e pushed by blackopsrepl
5m 51s main
main
5m 51s
Use emerald truecolor for ASCII banners in Makefile and console CI #161: Pull request #32 synchronize by blackopsrepl
3m 12s codex/update-solverforge-ascii-art-color
codex/update-solverforge-ascii-art-color
3m 12s
chore(release): 0.8.0 CI #160: Commit 33e5331 pushed by blackopsrepl
6m 35s main
main
6m 35s
chore(release): 0.8.0 Release #37: Commit 33e5331 pushed by blackopsrepl
2m 38s v0.8.0
v0.8.0
2m 38s
chore(release): 0.8.0 Publish to crates.io #37: Commit 33e5331 pushed by blackopsrepl
7m 4s v0.8.0
v0.8.0
7m 4s
Use emerald truecolor for ASCII banners in Makefile and console CI #159: Pull request #32 opened by blackopsrepl
1m 34s codex/update-solverforge-ascii-art-color
codex/update-solverforge-ascii-art-color
1m 34s
chore(release): 0.7.1 Release #36: Commit a53204c pushed by blackopsrepl
2m 37s v0.7.1
v0.7.1
2m 37s
chore(release): 0.7.1 CI #158: Commit a53204c pushed by blackopsrepl
6m 25s main
main
6m 25s
chore(release): 0.7.1 Publish to crates.io #36: Commit a53204c pushed by blackopsrepl
7m 3s v0.7.1
v0.7.1
7m 3s
chore(release): 0.7.0 CI #157: Commit 3f998b4 pushed by blackopsrepl
6m 16s main
main
6m 16s
chore(release): 0.7.0 Publish to crates.io #35: Commit 3f998b4 pushed by blackopsrepl
7m 3s v0.7.0
v0.7.0
7m 3s
chore(release): 0.7.0 Release #35: Commit 3f998b4 pushed by blackopsrepl
2m 49s v0.7.0
v0.7.0
2m 49s
chore(release): 0.7.0 CI #156: Commit 3f998b4 pushed by blackopsrepl
3m 32s release/0.7.0
release/0.7.0
3m 32s
docs(repo): realign readme wireframes and agent guidance CI #155: Commit b3f02bf pushed by blackopsrepl
3m 53s release/0.7.0
release/0.7.0
3m 53s
Merge pull request #31 from SolverForge/codex/synthesize-typed-contra… CI #154: Commit 6492d89 pushed by blackopsrepl
4m 5s release/0.7.0
release/0.7.0
4m 5s
refactor: unify Typed* rename work into release synthesis CI #153: Pull request #31 synchronize by blackopsrepl
4m 34s codex/synthesize-typed-contract-prs
codex/synthesize-typed-contract-prs
4m 34s
refactor(solver): unify runtime search and progress reporting CI #152: Commit ffbb5a2 pushed by blackopsrepl
4m 1s release/0.7.0
release/0.7.0
4m 1s
refactor: unify Typed* rename work into release synthesis CI #151: Pull request #31 opened by blackopsrepl
4m 22s codex/synthesize-typed-contract-prs
codex/synthesize-typed-contract-prs
4m 22s
docs: audit Typed* contracts and outline prefix-free API plan CI #150: Pull request #30 opened by blackopsrepl
4m 14s codex/explore-typed-contracts-for-unification-jtfg9n
codex/explore-typed-contracts-for-unification-jtfg9n
4m 14s
docs: audit Typed* contract and propose prefix-free naming CI #149: Pull request #29 opened by blackopsrepl
2m 58s codex/explore-typed-contracts-for-unification-wyvsy2
codex/explore-typed-contracts-for-unification-wyvsy2
2m 58s
Rename Typed-prefixed selector and extractor APIs CI #148: Pull request #28 opened by blackopsrepl
3m 8s codex/explore-typed-contracts-for-unification
codex/explore-typed-contracts-for-unification
3m 8s
refactor(solver): unify runtime and fix construction target resolution CI #147: Commit 2c6d193 pushed by blackopsrepl
1m 44s release/0.7.0
release/0.7.0
1m 44s