Skip to content

Actions: AxiomMath/PrimeNumberTheoremAnd

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
12 workflow runs
12 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
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
github_actions in /. - Update #1509533331 Dependabot Updates #3: by dependabot Bot
57s main
main
57s
github_actions in /. - Update #1493960139 Dependabot Updates #2: by dependabot Bot
45s main
main
45s
upgrade mathlib version (Lean v4.33.0-rc1) Build Project #4: Commit 2667e41 pushed by kckennylau
1h 56m 23s main
main
1h 56m 23s
upgrade mathlib version (Lean v4.33.0-rc1) Create Release #1: Commit 2667e41 pushed by kckennylau
13s main
main
13s
upgrade to module system, remove sorries Build Project #3: Commit db718ab pushed by kckennylau
2h 18m 2s main
main
2h 18m 2s
chore(deps): bump actions/checkout from 7.0.0 to 7.0.1 Build Project #2: Pull request #1 opened by dependabot Bot
1h 21m 33s dependabot/github_actions/actions/checkout-7.0.1
dependabot/github_actions/actions/checkout-7.0.1
1h 21m 33s
chore: bump LeanCert to v4.32.2 (explicit trust modes) (#1715) Build Project #1: Commit 63c96cd pushed by kckennylau
49m 26s main
main
49m 26s
github_actions in /. - Update #1492251067 Dependabot Updates #1: by dependabot Bot
28s main
main
28s