Skip to content

Actions: corca-ai/semath

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
434 workflow runs
434 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
Merge pull request #407 from corca-ai/codex/real-document-scopes ci #388: Commit e947997 pushed by akcorca
3m 25s main
main
3m 25s
Preserve manuscript scopes and correct source evaluation ci #387: Pull request #407 synchronize by akcorca
4m 1s codex/real-document-scopes
codex/real-document-scopes
4m 1s
Preserve manuscript scopes and correct source evaluation ci #386: Pull request #407 opened by akcorca
4m 46s codex/real-document-scopes
codex/real-document-scopes
4m 46s
Merge pull request #406 from corca-ai/codex/real-document-evaluation ci #385: Commit 2d400ea pushed by akcorca
4m 10s main
main
4m 10s
Evaluate real TeX documents and fix concessive comparison warnings ci #384: Pull request #406 opened by akcorca
4m 16s codex/real-document-evaluation
codex/real-document-evaluation
4m 16s
Merge pull request #404 from corca-ai/codex/reference-wire-option ci #383: Commit 092499c pushed by akcorca
4m 29s main
main
4m 29s
Honor includeDeclaration across the reference query wire ci #382: Pull request #404 opened by akcorca
4m 29s codex/reference-wire-option
codex/reference-wire-option
4m 29s
Merge pull request #403 from corca-ai/codex/conservative-cleanup ci #381: Commit 4ba4f55 pushed by akcorca
4m 34s main
main
4m 34s
Refocus Semath on conservative mathematical document analysis ci #380: Pull request #403 opened by akcorca
4m 8s codex/conservative-cleanup
codex/conservative-cleanup
4m 8s
fresh-blind-release fresh-blind-release #17: Manually run by akcorca
22m 31s main
main
22m 31s
test: add v0.94 fresh blind fixture ci #379: Commit 5544d26 pushed by akcorca
4m 25s main
main
4m 25s
Fix preceding formula rejection targeting (#402) ci #378: Commit 6628996 pushed by akcorca
4m 31s main
main
4m 31s
[codex] Fix preceding formula rejection targeting ci #377: Pull request #402 opened by akcorca
3m 24s codex/fix-faraday-preceding-rejection
codex/fix-faraday-preceding-rejection
3m 24s
fresh-blind-release fresh-blind-release #16: Manually run by akcorca
23m 0s main
main
23m 0s
Add v0.44 fresh-blind fixture (#401) ci #376: Commit a882102 pushed by akcorca
4m 20s main
main
4m 20s
Add v0.44 fresh-blind fixture ci #375: Pull request #401 opened by akcorca
4m 13s codex/v044-fresh-release
codex/v044-fresh-release
4m 13s
[codex] Harden authored safety boundaries (#400) ci #374: Commit 342b75d pushed by akcorca
4m 21s main
main
4m 21s
[codex] Harden authored safety boundaries ci #373: Pull request #400 synchronize by akcorca
3m 45s codex/fix-v043-safety-boundaries
codex/fix-v043-safety-boundaries
3m 45s
[codex] Harden authored safety boundaries ci #372: Pull request #400 opened by akcorca
4m 25s codex/fix-v043-safety-boundaries
codex/fix-v043-safety-boundaries
4m 25s
fresh-blind-release fresh-blind-release #15: Manually run by akcorca
14m 21s main
main
14m 21s
fix legacy formula decision adjudication (#399) ci #371: Commit 69eda99 pushed by akcorca
4m 14s main
main
4m 14s
[codex] fix historical formula decision domain ci #370: Pull request #399 opened by akcorca
4m 15s codex/fix-historical-decision-domain
codex/fix-historical-decision-domain
4m 15s
fresh-blind-release fresh-blind-release #14: Manually run by akcorca
25m 35s main
main
25m 35s
Fix continuity decision domain (#398) ci #369: Commit 1df56a8 pushed by akcorca
4m 24s main
main
4m 24s
[codex] fix continuity decision domain ci #368: Pull request #398 opened by akcorca
3m 49s codex/fix-continuity-decision-domain
codex/fix-continuity-decision-domain
3m 49s