Skip to content

Actions: Vilin97/Autoformalization

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,367 workflow runs
1,367 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
Document the McKay proof and formalization blueprint McKay Conjecture CI #23: Pull request #33 synchronize by Vilin97
2m 41s codex/mckay-proof-blueprint
codex/mckay-proof-blueprint
2m 41s
Document the McKay proof and formalization blueprint McKay Conjecture CI #22: Pull request #33 synchronize by Vilin97
1s codex/mckay-proof-blueprint
codex/mckay-proof-blueprint
1s
Formalize the McKay conjecture statement McKay Conjecture CI #21: Pull request #32 synchronize by Vilin97
13m 9s codex/mckay-statement
codex/mckay-statement
13m 9s
Formalize the McKay conjecture statement McKay Conjecture CI #20: Pull request #32 synchronize by Vilin97
3s codex/mckay-statement
codex/mckay-statement
3s
Landau CI Landau CI #9: by Vilin97
5m 18s codex/mckay-proof
codex/mckay-proof
5m 18s
McKay Conjecture CI McKay Conjecture CI #19: by Vilin97
2h 20m 17s codex/mckay-proof
codex/mckay-proof
2h 20m 17s
Grothendieck Vanishing CI Grothendieck Vanishing CI #9: by Vilin97
5m 53s codex/mckay-proof
codex/mckay-proof
5m 53s
Landau CI Landau CI #8: by Vilin97
5m 48s claude/mazur-theorem-proof-079548
claude/mazur-theorem-proof-079548
5m 48s
Grothendieck Vanishing CI Grothendieck Vanishing CI #8: by Vilin97
14m 31s claude/mazur-theorem-proof-079548
claude/mazur-theorem-proof-079548
14m 31s
Grothendieck Vanishing CI Grothendieck Vanishing CI #7: by Vilin97
7m 24s codex/mckay-proof-blueprint
codex/mckay-proof-blueprint
7m 24s
McKay Conjecture CI McKay Conjecture CI #18: by Vilin97
2m 53s codex/mckay-proof-blueprint
codex/mckay-proof-blueprint
2m 53s
Landau CI Landau CI #7: by Vilin97
4m 48s codex/mckay-proof-blueprint
codex/mckay-proof-blueprint
4m 48s
checkpoint: scaffold Green-Tao formalization Grothendieck Vanishing CI #6: Commit fd2b76d pushed by Vilin97
4m 22s codex/green-tao
codex/green-tao
4m 22s
Lean Action CI Lean Action CI #1243: by Vilin97
7m 41s wip/grothendieck-vanishing
wip/grothendieck-vanishing
7m 41s
Lean Action CI Lean Action CI #1242: by Vilin97
9m 7s v4.28.0
v4.28.0
9m 7s
Build and Deploy Documentation Build and Deploy Documentation #52: by Vilin97
3h 31m 55s landau
landau
3h 31m 55s
Lean Action CI Lean Action CI #1241: by Vilin97
1h 12m 56s landau
landau
1h 12m 56s
checkpoint: scaffold Green-Tao formalization Landau CI #6: Commit fd2b76d pushed by Vilin97
5m 45s codex/green-tao
codex/green-tao
5m 45s
Landau CI Landau CI #5: by Vilin97
6m 4s codex/coherent-proof-search-analysis
codex/coherent-proof-search-analysis
6m 4s
Grothendieck Vanishing CI Grothendieck Vanishing CI #5: by Vilin97
5m 58s codex/coherent-proof-search-analysis
codex/coherent-proof-search-analysis
5m 58s
McKay Conjecture CI McKay Conjecture CI #17: by Vilin97
13m 11s codex/mckay-statement
codex/mckay-statement
13m 11s
Landau CI Landau CI #4: by Vilin97
15m 52s codex/mckay-statement
codex/mckay-statement
15m 52s
Grothendieck Vanishing CI Grothendieck Vanishing CI #4: by Vilin97
5m 32s codex/mckay-statement
codex/mckay-statement
5m 32s
checkpoint: scaffold Green-Tao formalization Landau CI #3: Commit fd2b76d pushed by Vilin97
5m 10s main
main
5m 10s
checkpoint: scaffold Green-Tao formalization Build and Deploy Documentation #51: Commit fd2b76d pushed by Vilin97
2h 4m 56s main
main
2h 4m 56s