Skip to content

Actions: AxiomMath/PrimeNumberTheoremAnd

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
33 workflow runs
33 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
upgrade mathlib version (Lean v4.35.0-rc2) Create Release #10: Commit d71f7b4 pushed by kckennylau
12s main
main
12s
upgrade mathlib version (Lean v4.35.0-rc2) Build Project #14: Commit d71f7b4 pushed by kckennylau
19m 55s main
main
19m 55s
upgrade mathlib version (Lean v4.35.0-rc2) Build Project #13: Commit b078fdf pushed by kckennylau
14m 19s main
main
14m 19s
upgrade mathlib version (Lean v4.35.0-rc2) Create Release #9: Commit b078fdf pushed by kckennylau
11s main
main
11s
upgrade mathlib version (Lean v4.35.0-rc1) Create Release #8: Commit 9500aa5 pushed by kckennylau
13s main
main
13s
upgrade mathlib version (Lean v4.35.0-rc1) Build Project #12: Commit 9500aa5 pushed by kckennylau
1h 17m 33s main
main
1h 17m 33s
github_actions in /. - Update #1579312347 Dependabot Updates #9: by dependabot Bot
39s main
main
39s
upgrade mathlib version (Lean v4.35.0-rc1) Build Project #11: Commit 75c7dff pushed by kckennylau
1h 16m 17s main
main
1h 16m 17s
upgrade mathlib version (Lean v4.35.0-rc1) Create Release #7: Commit 75c7dff pushed by kckennylau
13s main
main
13s
upgrade mathlib version (Lean v4.34.0) Create Release #6: Commit 09617eb pushed by kckennylau
15s main
main
15s
upgrade mathlib version (Lean v4.34.0) Build Project #10: Commit 09617eb pushed by kckennylau
4m 4s main
main
4m 4s
upgrade mathlib version (Lean v4.34.0-rc2) Create Release #5: Commit 6016f62 pushed by kckennylau
13s main
main
13s
upgrade mathlib version (Lean v4.34.0-rc2) Build Project #9: Commit 6016f62 pushed by kckennylau
9m 52s main
main
9m 52s
upgrade mathlib version (Lean v4.34.0-rc1) Build Project #8: Commit 880fb71 pushed by kckennylau
7m 20s main
main
7m 20s
upgrade mathlib version (Lean v4.34.0-rc1) Create Release #4: Commit 880fb71 pushed by kckennylau
20s main
main
20s
upgrade mathlib version (Lean v4.33.0) Build Project #7: Commit c4d2468 pushed by kckennylau
4m 0s main
main
4m 0s
upgrade mathlib version (Lean v4.33.0) Create Release #3: Commit c4d2468 pushed by kckennylau
13s main
main
13s
upgrade mathlib version (Lean v4.33.0-rc2) Create Release #2: Commit 3779f36 pushed by kckennylau
12s main
main
12s
upgrade mathlib version (Lean v4.33.0-rc2) Build Project #6: Commit 3779f36 pushed by kckennylau
27m 50s main
main
27m 50s
github_actions in /. - Update #1566956833 Dependabot Updates #8: by dependabot Bot
46s main
main
46s
github_actions in /. - Update #1553132235 Dependabot Updates #7: by dependabot Bot
38s main
main
38s
chore(deps): bump leanprover/lean-action from 1.5.0 to 1.6.0 Build Project #5: Pull request #2 opened by dependabot Bot
22m 18s dependabot/github_actions/leanprover/lean-action-1.6.0
dependabot/github_actions/leanprover/lean-action-1.6.0
22m 18s
github_actions in /. - Update #1542150652 Dependabot Updates #6: by dependabot Bot
50s main
main
50s
github_actions in /. - Update #1533081398 Dependabot Updates #5: by dependabot Bot
51s main
main
51s
github_actions in /. - Update #1522954010 Dependabot Updates #4: by dependabot Bot
45s main
main
45s