Skip to content
Navigation Menu
Sign in
Appearance settings
Platform
AI CODE CREATION
GitHub Copilot
Write better code with AI
GitHub Copilot app
Direct agents from issue to merge
MCP Registry
Integrate external tools
DEVELOPER WORKFLOWS
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
Code Quality
Enforce quality at merge
APPLICATION SECURITY
GitHub Advanced Security
Find and fix vulnerabilities
Code security
Secure your code as you build
Secret protection
Stop leaks before they start
EXPLORE
Why GitHub
Documentation
Blog
Changelog
Marketplace
View all features
Solutions
BY COMPANY SIZE
Enterprises
Small and medium teams
Startups
Nonprofits
BY USE CASE
App Modernization
DevSecOps
DevOps
CI/CD
View all use cases
BY INDUSTRY
Healthcare
Financial services
Manufacturing
Government
View all industries
View all solutions
Resources
EXPLORE BY TOPIC
AI
Software Development
DevOps
Security
View all topics
EXPLORE BY TYPE
Customer stories
Events & webinars
Ebooks & reports
Business insights
GitHub Skills
SUPPORT & SERVICES
Documentation
Customer support
Community forum
Trust center
Partners
View all resources
Open Source
COMMUNITY
GitHub Sponsors
Fund open source developers
PROGRAMS
Security Lab
Maintainer Community
GitHub Stars
Archive Program
REPOSITORIES
Topics
Trending
Collections
Enterprise
ENTERPRISE SOLUTIONS
Enterprise platform
AI-powered developer platform
AVAILABLE ADD-ONS
GitHub Advanced Security
Enterprise-grade security features
Copilot for Business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Search
/
Sign in
Sign up
Appearance settings
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
Uh oh!
There was an error while loading.
Please reload this page
.
SolverForge
/
solverforge
Public
Uh oh!
There was an error while loading.
Please reload this page
.
Notifications
You must be signed in to change notification settings
Fork
4
Star
74
Code
Issues
0
Pull requests
0
Actions
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Actions
Security and quality
Insights
Actions: SolverForge/solverforge
Actions
All workflows
Workflows
CI
CI
Publish to crates.io
Publish to crates.io
Release
Release
Show more workflows...
Management
Caches
CI
CI
Actions
Loading...
Loading
Sorry, something went wrong.
Uh oh!
There was an error while loading.
Please reload this page
.
will be ignored since log searching is not yet available
Show workflow options
Create status badge
Create status badge
Loading
Uh oh!
There was an error while loading.
Please reload this page
.
ci.yml
will be ignored since log searching is not yet available
301 workflow runs
301 workflow runs
Event
Filter by Event
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching events.
Status
Filter by Status
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching statuses.
Branch
Filter by Branch
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching branches.
Actor
Filter by Actor
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching users.
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
View #31
View workflow file
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
View workflow file
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
View #31
View workflow file
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
View #30
View workflow file
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
View #29
View workflow file
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
View #28
View workflow file
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
View workflow file
refactor(macros): unify stock solution macro generation
CI
#146:
Commit
ac1120a
pushed by
blackopsrepl
4m 7s
release/0.7.0
release/0.7.0
4m 7s
View workflow file
Remove legacy standard stock config surface
CI
#145:
Commit
f8d3ecc
pushed by
blackopsrepl
6m 21s
release/0.7.0
release/0.7.0
6m 21s
View workflow file
chore(release): 0.6.0
CI
#144:
Commit
69ac2ce
pushed by
blackopsrepl
5m 51s
main
main
5m 51s
View workflow file
Merge pull request #27 from SolverForge/codex/release-0.6.0-scaffold-…
CI
#143:
Commit
70de978
pushed by
blackopsrepl
3m 3s
release/0.6.0
release/0.6.0
3m 3s
View workflow file
feat(cli): salvage generic scaffold refresh for review
CI
#142:
Pull request
#27
synchronize by
blackopsrepl
4m 14s
codex/release-0.6.0-scaffold-salvage
codex/release-0.6.0-scaffold-salvage
4m 14s
View #27
View workflow file
Merge pull request #26 from SolverForge/codex/release-0.6.0-integration
CI
#141:
Commit
731c877
pushed by
blackopsrepl
6m 52s
release/0.6.0
release/0.6.0
6m 52s
View workflow file
fix(release): port logging, score parsing, and sf-config wiring
CI
#140:
Pull request
#26
synchronize by
blackopsrepl
3m 26s
codex/release-0.6.0-integration
codex/release-0.6.0-integration
3m 26s
View #26
View workflow file
fix(release): port logging, score parsing, and sf-config wiring
CI
#139:
Pull request
#26
synchronize by
blackopsrepl
3m 7s
codex/release-0.6.0-integration
codex/release-0.6.0-integration
3m 7s
View #26
View workflow file
feat(cli): salvage generic scaffold refresh for review
CI
#138:
Pull request
#27
synchronize by
blackopsrepl
3m 19s
codex/release-0.6.0-scaffold-salvage
codex/release-0.6.0-scaffold-salvage
3m 19s
View #27
View workflow file
fix(release): port logging, score parsing, and sf-config wiring
CI
#137:
Pull request
#26
synchronize by
blackopsrepl
2m 51s
codex/release-0.6.0-integration
codex/release-0.6.0-integration
2m 51s
View #26
View workflow file
feat(cli): salvage generic scaffold refresh for review
CI
#136:
Pull request
#27
synchronize by
blackopsrepl
5m 4s
codex/release-0.6.0-scaffold-salvage
codex/release-0.6.0-scaffold-salvage
5m 4s
View #27
View workflow file
feat(cli): salvage generic scaffold refresh for review
CI
#135:
Pull request
#27
opened by
blackopsrepl
3m 51s
codex/release-0.6.0-scaffold-salvage
codex/release-0.6.0-scaffold-salvage
3m 51s
View #27
View workflow file
fix(release): port logging, score parsing, and sf-config wiring
CI
#134:
Pull request
#26
opened by
blackopsrepl
5m 4s
codex/release-0.6.0-integration
codex/release-0.6.0-integration
5m 4s
View #26
View workflow file
Merge branch 'issue-14-scaffold-smoke-r060-stack' into release/0.6.0
CI
#133:
Commit
d85b2df
pushed by
blackopsrepl
2m 56s
release/0.6.0
release/0.6.0
2m 56s
View workflow file
Merge branch 'issue-13-release-matrix-r060-stack' into release/0.6.0
CI
#132:
Commit
ba3e1ba
pushed by
blackopsrepl
2m 53s
release/0.6.0
release/0.6.0
2m 53s
View workflow file
Merge branch 'issue-12-macros-tests-r060-stack' into release/0.6.0
CI
#131:
Commit
a72a1ef
pushed by
blackopsrepl
6m 34s
release/0.6.0
release/0.6.0
6m 34s
View workflow file
Merge branch 'issue-11-console-tests-r060-stack' into release/0.6.0
CI
#130:
Commit
9e0d306
pushed by
blackopsrepl
2m 22s
release/0.6.0
release/0.6.0
2m 22s
View workflow file
Merge branch 'issue-10-cvrp-unsafe-cleanup-r060-stack' into release/0…
CI
#129:
Commit
43af45a
pushed by
blackopsrepl
3m 5s
release/0.6.0
release/0.6.0
3m 5s
View workflow file
Previous
1
2
…
5
6
7
8
9
…
12
13
Next
You can’t perform that action at this time.