Skip to content

Actions: thefundamentaltheor3m/Sphere-Packing-Lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
Very simple lemma Disclaim Issue #459: Issue comment #395 (comment) created by seewoo5
1s
1s
Very simple lemma Claim Issue #463: Issue comment #395 (comment) created by seewoo5
1s
1s
Very simple lemma Propose PR #459: Issue comment #395 (comment) created by seewoo5
1s
1s
Very simple lemma Withdraw PR #459: Issue comment #395 (comment) created by seewoo5
1s
1s
Very simple lemma Awaiting Review #459: Issue comment #395 (comment) created by seewoo5
1s
1s
feat: Gauss E₈ optimality cleanup Withdraw PR #458: Issue comment #391 (comment) created by CBirkbeck
1s
1s
feat: Gauss E₈ optimality cleanup Disclaim Issue #458: Issue comment #391 (comment) created by CBirkbeck
2s
2s
feat: Gauss E₈ optimality cleanup Awaiting Review #458: Issue comment #391 (comment) created by CBirkbeck
1s
1s
feat: Gauss E₈ optimality cleanup Propose PR #458: Issue comment #391 (comment) created by CBirkbeck
2s
2s
feat: Gauss E₈ optimality cleanup Claim Issue #462: Issue comment #391 (comment) created by CBirkbeck
1s
1s
blueprint: remove H3 from cor:theta-pos (#301) .github/workflows/build.yml #2072: Commit 0a7cc0d pushed by seewoo5
2h 47m 11s main
main
2h 47m 11s
Updates available and ready to merge .github/workflows/build.yml #2071: Pull request #394 synchronize by thefundamentaltheor3m
9m 12s auto-update-lean/patch-v4.30.0-rc1
auto-update-lean/patch-v4.30.0-rc1
9m 12s
Very simple lemma Withdraw PR #457: Issue comment #395 (comment) created by thefundamentaltheor3m
1s
1s
Very simple lemma Claim Issue #461: Issue comment #395 (comment) created by thefundamentaltheor3m
1s
1s
Very simple lemma Awaiting Review #457: Issue comment #395 (comment) created by thefundamentaltheor3m
1s
1s
Very simple lemma Disclaim Issue #457: Issue comment #395 (comment) created by thefundamentaltheor3m
1s
1s
Very simple lemma Propose PR #457: Issue comment #395 (comment) created by thefundamentaltheor3m
1s
1s
Very simple lemma Propose PR #456: Issue comment #395 (comment) created by seewoo5
1s
1s
Very simple lemma Awaiting Review #456: Issue comment #395 (comment) created by seewoo5
Skipped
Skipped
Very simple lemma Disclaim Issue #456: Issue comment #395 (comment) created by seewoo5
1s
1s
Very simple lemma Claim Issue #460: Issue comment #395 (comment) created by seewoo5
1s
1s
Very simple lemma Withdraw PR #456: Issue comment #395 (comment) created by seewoo5
1s
1s
golf: simplify some of the longest files Withdraw PR #455: Issue comment #379 (comment) created by b-mehta
1s
1s
golf: simplify some of the longest files Awaiting Review #455: Issue comment #379 (comment) created by b-mehta
1s
1s
golf: simplify some of the longest files Disclaim Issue #455: Issue comment #379 (comment) created by b-mehta
1s
1s
⚡