Skip to content

Actions: kbuzzard/ClassFieldTheory

Actions

Build Lean project

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
331 workflow runs
331 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump mathlib (#127) Build Lean project #335: Commit 0c58039 pushed by kbuzzard
47m 35s main
main
47m 35s
Bump mathlib Build Lean project #334: Pull request #127 opened by YaelDillies
5m 43s YaelDillies:bump_20251218
YaelDillies:bump_20251218
5m 43s
chore(deps): bump actions/checkout from 4 to 6 (#124) Build Lean project #333: Commit 0493fe8 pushed by kbuzzard
53m 14s main
main
53m 14s
Bump mathlib to v4.26.0 (#125) Build Lean project #332: Commit c38831d pushed by kbuzzard
1h 32m 8s main
main
1h 32m 8s
Bump mathlib to v4.26.0 Build Lean project #331: Pull request #125 synchronize by YaelDillies
5m 47s YaelDillies:bump_20251206
YaelDillies:bump_20251206
5m 47s
Bump mathlib to v4.26.0 Build Lean project #330: Pull request #125 synchronize by YaelDillies
6m 0s YaelDillies:bump_20251206
YaelDillies:bump_20251206
6m 0s
[WIP] Inf-Res Build Lean project #329: Pull request #126 opened by Whysoserioushah
2m 58s Whysoserioushah:file15
Whysoserioushah:file15
2m 58s
Bump mathlib to v4.26.0 Build Lean project #328: Pull request #125 synchronize by YaelDillies
5m 34s YaelDillies:bump_20251206
YaelDillies:bump_20251206
5m 34s
Bump mathlib to v4.26.0 Build Lean project #327: Pull request #125 synchronize by YaelDillies
5m 48s YaelDillies:bump_20251206
YaelDillies:bump_20251206
5m 48s
Bump mathlib to v4.26.0 Build Lean project #326: Pull request #125 opened by YaelDillies
5m 33s YaelDillies:bump_20251206
YaelDillies:bump_20251206
5m 33s
chore(deps): bump actions/checkout from 4 to 6 Build Lean project #325: Pull request #124 opened by dependabot bot
2m 24s dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
2m 24s
feat: finish triviality criterion file (#121) Build Lean project #324: Commit 68eabb1 pushed by kbuzzard
14m 15s main
main
14m 15s
Delete duplicate CI (#122) Build Lean project #323: Commit de5d4b6 pushed by kbuzzard
11m 49s main
main
11m 49s
feat: finish triviality criterion file Build Lean project #322: Pull request #121 synchronize by plp127
2m 49s plp127:aliu/finish_triviality_criterion
plp127:aliu/finish_triviality_criterion
2m 49s
chore: bump mathlib (#123) Build Lean project #321: Commit 7ce2462 pushed by kbuzzard
53m 22s main
main
53m 22s
chore: bump mathlib Build Lean project #320: Pull request #123 opened by kbuzzard
5m 34s kbuzzard-bump-20251129
kbuzzard-bump-20251129
5m 34s
Delete duplicate CI Build Lean project #319: Pull request #122 opened by YaelDillies
1m 49s YaelDillies:dedup_ci
YaelDillies:dedup_ci
1m 49s
feat: finish triviality criterion file Build Lean project #318: Pull request #121 opened by plp127
2m 54s plp127:aliu/finish_triviality_criterion
plp127:aliu/finish_triviality_criterion
2m 54s
statement of unramified cohomology (#120) Build Lean project #317: Commit 8a80a42 pushed by kbuzzard
5m 49s main
main
5m 49s
Bump mathlib (#119) Build Lean project #316: Commit a9a59cb pushed by kbuzzard
8m 30s main
main
8m 30s
statement of unramified cohomology Build Lean project #315: Pull request #120 synchronize by kckennylau
2m 58s kckennylau:kenny-action-units
kckennylau:kenny-action-units
2m 58s
statement of unramified cohomology Build Lean project #314: Pull request #120 opened by kckennylau
2m 30s kckennylau:kenny-action-units
kckennylau:kenny-action-units
2m 30s
Bump mathlib Build Lean project #313: Pull request #119 synchronize by YaelDillies
5m 31s YaelDillies:bump_20251124
YaelDillies:bump_20251124
5m 31s
Bump mathlib Build Lean project #312: Pull request #119 synchronize by YaelDillies
4m 32s YaelDillies:bump_20251124
YaelDillies:bump_20251124
4m 32s
Hensel's lemma and Unramified extensions (#114) Build Lean project #311: Commit 2951b51 pushed by kbuzzard
14m 57s main
main
14m 57s