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 }}
heathsanchez
/
mathgraph
Public
Notifications
You must be signed in to change notification settings
Fork
0
Star
0
Code
Issues
0
Pull requests
24
Actions
Projects
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Actions
Projects
Security and quality
Insights
Actions: heathsanchez/mathgraph
Actions
All workflows
Workflows
Paper Final Lean Verify
Paper Final Lean Verify
Residual Constraint Graph V1
Residual Constraint Graph V1
Trace Ace V111 Fast Residual Screen
Trace Ace V111 Fast Residual Screen
Trace Ace V112 Fast Raw Observable Screen
Trace Ace V112 Fast Raw Observable Screen
Trace Ace V113 Applicability Regime Fast
Trace Ace V113 Applicability Regime Fast
Trace Ace V114 Representation Applicability
Trace Ace V114 Representation Applicability
Trace Ace V115 Collision Resolution
Trace Ace V115 Collision Resolution
Trace Ace V115 Reality Audit
Trace Ace V115 Reality Audit
Trace Ace V115b Pure V74 Reality Audit
Trace Ace V115b Pure V74 Reality Audit
Trace Ace V116 Row Alignment Alias Audit
Trace Ace V116 Row Alignment Alias Audit
Show more workflows...
Management
Caches
All workflows
All workflows
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
Showing runs from all workflows
will be ignored since log searching is not yet available
635 workflow runs
635 workflow runs
Workflow
Filter by Workflow
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching workflows.
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.
infra: make V141 runtime launcher observable on PR
Trace Ace V141 Runtime Asset Launch
#2:
Commit
0752473
pushed by
heathsanchez
1h 1m 31s
main
main
1h 1m 31s
View workflow file
infra: launch frozen V141 runtime asset build
Trace Ace V141 Runtime Asset Launch
#1:
Commit
a9407b0
pushed by
heathsanchez
51m 32s
main
main
51m 32s
View workflow file
Synchronize V141 asset runner
Trace Ace V141 V135 Runtime Assets
#2:
Commit
bfeff11
pushed by
heathsanchez
58m 31s
agent/v141-v135-runtime-assets
agent/v141-v135-runtime-assets
58m 31s
View workflow file
Run V141 V135 runtime asset compiler
Trace Ace V141 V135 Runtime Assets
#1:
Commit
c5c85ce
pushed by
heathsanchez
1h 1m 13s
agent/v141-v135-runtime-assets
agent/v141-v135-runtime-assets
1h 1m 13s
View workflow file
V139 component applicability
Trace Ace V139 Component Applicability
#1:
Pull request
#25
opened by
heathsanchez
52m 46s
agent/v139-component-applicability
agent/v139-component-applicability
52m 46s
View #25
View workflow file
Enable direct V138 branch execution
Trace Ace V138 Joint Effect Field
#3:
Commit
bb969c9
pushed by
heathsanchez
26s
agent/v138-joint-effect-field
agent/v138-joint-effect-field
26s
View workflow file
V137 effect field
Trace Ace V137 Effect Field Minimal Regime
#2:
Pull request
#22
synchronize by
heathsanchez
1h 8m 47s
agent/v137-effect-field-minimal-regime
agent/v137-effect-field-minimal-regime
1h 8m 47s
View #22
View workflow file
V138 joint effect field
Trace Ace V138 Joint Effect Field
#2:
Pull request
#23
synchronize by
heathsanchez
34s
agent/v138-joint-effect-field
agent/v138-joint-effect-field
34s
View #23
View workflow file
V138 joint effect field
Trace Ace V138 Joint Effect Field
#1:
Pull request
#23
opened by
heathsanchez
25s
agent/v138-joint-effect-field
agent/v138-joint-effect-field
25s
View #23
View workflow file
V137 effect field
Trace Ace V137 Effect Field Minimal Regime
#1:
Pull request
#22
opened by
heathsanchez
1h 9m 0s
agent/v137-effect-field-minimal-regime
agent/v137-effect-field-minimal-regime
1h 9m 0s
View #22
View workflow file
V136 full-data V135 verification
Trace Ace V136 Full V135 Verification
#1:
Pull request
#21
opened by
heathsanchez
1h 50m 24s
agent/v136-full-v135-verification
agent/v136-full-v135-verification
1h 50m 24s
View #21
View workflow file
V135 nested supported-objective stack
Trace Ace V135 Nested Supported Stack
#1:
Pull request
#20
opened by
heathsanchez
2m 14s
agent/v135-nested-supported-stack
agent/v135-nested-supported-stack
2m 14s
View #20
View workflow file
V134 verifier-feedback contradiction residual
Trace Ace V134 Verifier Feedback Contradiction
#1:
Pull request
#19
opened by
heathsanchez
2m 36s
agent/v134-verifier-feedback-contradiction
agent/v134-verifier-feedback-contradiction
2m 36s
View #19
View workflow file
V133 verified mathematical evidence residual
Trace Ace V133 Verified Math Evidence
#2:
Pull request
#18
synchronize by
heathsanchez
2m 11s
agent/v133-verified-math-evidence
agent/v133-verified-math-evidence
2m 11s
View #18
View workflow file
V133 verified mathematical evidence residual
Trace Ace V133 Verified Math Evidence
#1:
Pull request
#18
opened by
heathsanchez
30s
agent/v133-verified-math-evidence
agent/v133-verified-math-evidence
30s
View #18
View workflow file
V132 nested learned applicability gate for tutor uptake
Trace Ace V132 Nested Applicability Gate
#1:
Pull request
#17
opened by
heathsanchez
3m 45s
agent/v132-nested-applicability-gate
agent/v132-nested-applicability-gate
3m 45s
View #17
View workflow file
V132 nested learned applicability gate for tutor uptake
Trace Ace V129 Tutor Uptake
#3:
Pull request
#17
opened by
heathsanchez
1m 35s
agent/v132-nested-applicability-gate
agent/v132-nested-applicability-gate
1m 35s
View #17
View workflow file
Formalize Residual Constraint Graph v1
Residual Constraint Graph V1
#3:
Pull request
#15
synchronize by
heathsanchez
10s
agent/residual-constraint-graph-v1
agent/residual-constraint-graph-v1
10s
View #15
View workflow file
V131 deployable crowding-gated tutor uptake
Trace Ace V131 Crowding Gated Uptake
#1:
Pull request
#16
opened by
heathsanchez
1m 35s
agent/v131-crowding-gated-uptake-v2
agent/v131-crowding-gated-uptake-v2
1m 35s
View #16
View workflow file
V131 deployable crowding-gated tutor uptake
Trace Ace V129 Tutor Uptake
#2:
Pull request
#16
opened by
heathsanchez
1m 33s
agent/v131-crowding-gated-uptake-v2
agent/v131-crowding-gated-uptake-v2
1m 33s
View #16
View workflow file
V130 audit background-role regime structure
Trace Ace V130 Background Regime Audit
#2:
Pull request
#14
synchronize by
heathsanchez
53s
agent/v130-background-regime-audit
agent/v130-background-regime-audit
53s
View #14
View workflow file
Formalize Residual Constraint Graph v1
Residual Constraint Graph V1
#2:
Pull request
#15
synchronize by
heathsanchez
8s
agent/residual-constraint-graph-v1
agent/residual-constraint-graph-v1
8s
View #15
View workflow file
Formalize Residual Constraint Graph v1
Residual Constraint Graph V1
#1:
Pull request
#15
synchronize by
heathsanchez
9s
agent/residual-constraint-graph-v1
agent/residual-constraint-graph-v1
9s
View #15
View workflow file
V130 audit background-role regime structure
Trace Ace V130 Background Regime Audit
#1:
Pull request
#14
opened by
heathsanchez
14s
agent/v130-background-regime-audit
agent/v130-background-regime-audit
14s
View #14
View workflow file
V129 tutor uptake residual
Trace Ace V129 Tutor Uptake
#1:
Pull request
#13
opened by
heathsanchez
1m 57s
agent/v129-tutor-uptake
agent/v129-tutor-uptake
1m 57s
View #13
View workflow file
Previous
1
2
3
4
5
…
25
26
Next
You can’t perform that action at this time.