Skip to content

Actions: kbuzzard/ClassFieldTheory

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,093 workflow runs
1,093 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump mathlib to v4.28.0 (#131) Build Lean project #364: Commit ee1468f pushed by kbuzzard
57m 16s main
main
57m 16s
Bump mathlib to v4.28.0 (#131) .github/workflows/lean-release-tag.yml #10: Commit ee1468f pushed by kbuzzard
7s main
main
7s
Bump mathlib to v4.28.0 Build Lean project #363: Pull request #131 synchronize by YaelDillies
4m 47s YaelDillies:bump_v4.28
YaelDillies:bump_v4.28
4m 47s
Adopt the module system (#136) Build Lean project #362: Commit 7af4d9f pushed by kbuzzard
16m 57s main
main
16m 57s
Adopt the module system Build Lean project #361: Pull request #136 opened by YaelDillies
4m 57s YaelDillies:module_system
YaelDillies:module_system
4m 57s
Delete useless script (#135) Build Lean project #360: Commit 8043cfb pushed by kbuzzard
16m 5s main
main
16m 5s
Use the upstreaming dashboard action (#134) Build Lean project #359: Commit 142b38b pushed by kbuzzard
15m 47s main
main
15m 47s
Improve Rep.mkIso (#132) Build Lean project #358: Commit 5204238 pushed by kbuzzard
4m 2s main
main
4m 2s
Delete useless script Build Lean project #357: Pull request #135 opened by YaelDillies
1m 55s YaelDillies:delete_customize_template
YaelDillies:delete_customize_template
1m 55s
Use the upstreaming dashboard action Build Lean project #356: Pull request #134 opened by YaelDillies
2m 20s YaelDillies:upstreaming_dashboard_action
YaelDillies:upstreaming_dashboard_action
2m 20s
Turn on mathlib linters (#133) Build Lean project #355: Commit a03af04 pushed by kbuzzard
16m 49s main
main
16m 49s
chore(deps): bump leanprover/lean-action from 1.3.0 to 1.4.0 (#130) Build Lean project #354: Commit d76aba5 pushed by kbuzzard
13m 4s main
main
13m 4s
Turn on mathlib linters Build Lean project #353: Pull request #133 opened by YaelDillies
5m 27s YaelDillies:mathlib_linters
YaelDillies:mathlib_linters
5m 27s
Improve Rep.mkIso Build Lean project #352: Pull request #132 opened by YaelDillies
3m 33s YaelDillies:rep_mk_iso
YaelDillies:rep_mk_iso
3m 33s
Bump mathlib to v4.28.0 Build Lean project #351: Pull request #131 synchronize by YaelDillies
5m 6s YaelDillies:bump_v4.28
YaelDillies:bump_v4.28
5m 6s
Bump mathlib to v4.27.0 (#129) Build Lean project #350: Commit 78d026b pushed by kbuzzard
1h 2m 35s main
main
1h 2m 35s
Bump mathlib to v4.27.0 (#129) .github/workflows/lean-release-tag.yml #9: Commit 78d026b pushed by kbuzzard
10s main
main
10s
Bump mathlib to v4.28.0 Build Lean project #349: Pull request #131 opened by YaelDillies
4m 46s YaelDillies:bump_v4.28
YaelDillies:bump_v4.28
4m 46s
github_actions in /. - Update #1262493588 Dependabot Updates #12: by dependabot bot
25s main
main
25s
chore(deps): bump leanprover/lean-action from 1.3.0 to 1.4.0 Build Lean project #348: Pull request #130 opened by dependabot bot
5m 51s dependabot/github_actions/leanprover/lean-action-1.4.0
dependabot/github_actions/leanprover/lean-action-1.4.0
5m 51s
github_actions in /. - Update #1228708511 Dependabot Updates #11: by dependabot bot
30s main
main
30s
[WIP] Inf-Res Build Lean project #347: Pull request #126 synchronize by Whysoserioushah
4m 11s Whysoserioushah:file15
Whysoserioushah:file15
4m 11s
[WIP] Inf-Res Build Lean project #346: Pull request #126 synchronize by Whysoserioushah
3m 39s Whysoserioushah:file15
Whysoserioushah:file15
3m 39s
[WIP] Inf-Res Build Lean project #345: Pull request #126 synchronize by Whysoserioushah
2m 52s Whysoserioushah:file15
Whysoserioushah:file15
2m 52s
[WIP] Inf-Res Build Lean project #344: Pull request #126 synchronize by Whysoserioushah
2m 49s Whysoserioushah:file15
Whysoserioushah:file15
2m 49s