Skip to content

Actions: teorth/pfr

Actions

Build Lean project

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
128 workflow runs
128 workflow runs

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
Use the upstreaming dashboard action Build Lean project #821: Commit 80daaf1 pushed by YaelDillies
7m 3s master
master
7m 3s
Remove noshake.json Build Lean project #820: Commit 0a78f8c pushed by YaelDillies
7m 59s master
master
7m 59s
Bump mathlib to v4.28.0 Build Lean project #819: Pull request #265 opened by YaelDillies
7m 27s bump_v4.28.0
bump_v4.28.0
7m 27s
Adopt the module system Build Lean project #818: Commit 3928f2b pushed by YaelDillies
12m 39s master
master
12m 39s
Bump mathlib Build Lean project #817: Commit d91e467 pushed by YaelDillies
52m 38s master
master
52m 38s
Silence the build using #guard_msgs Build Lean project #816: Commit e7278b1 pushed by YaelDillies
52m 30s master
master
52m 30s
Bump mathlib to v4.27.0 Build Lean project #815: Commit 251c9e2 pushed by YaelDillies
51m 59s master
master
51m 59s
Free runner disk space Build Lean project #814: Commit 23f0ac7 pushed by YaelDillies
39m 5s master
master
39m 5s
fix doc building (#264) Build Lean project #813: Commit 3381002 pushed by YaelDillies
4m 8s master
master
4m 8s
fix doc building Build Lean project #812: Pull request #264 opened by sgouezel
2m 29s sgouezel:master
sgouezel:master
2m 29s
Bump mathlib Build Lean project #811: Commit feb4a47 pushed by YaelDillies
10m 33s master
master
10m 33s
Bump mathlib to v4.26.0 Build Lean project #810: Commit c92c128 pushed by YaelDillies
4m 23s master
master
4m 23s
Some fixes Build Lean project #809: Commit 1192578 pushed by YaelDillies
1m 19s master
master
1m 19s
Gemini output Build Lean project #808: Commit d5b24c2 pushed by YaelDillies
1m 1s master
master
1m 1s
Bump mathlib to v4.26.0 Build Lean project #807: Commit c92c128 pushed by YaelDillies
11m 7s master
master
11m 7s
Lint to mathlib standards Build Lean project #806: Commit 5dc6bc6 pushed by YaelDillies
10m 6s master
master
10m 6s
Merge pull request #263 from kim-em/fix-unused-arguments-linter Build Lean project #805: Commit d787a70 pushed by teorth
16m 21s master
master
16m 21s
fix: add nolint unusedArguments to Config structure Build Lean project #804: Pull request #263 opened by kim-em
4m 8s kim-em:fix-unused-arguments-linter
kim-em:fix-unused-arguments-linter
4m 8s
Fix broken reference to Lean declarations in the blueprint Build Lean project #803: Commit 49e9026 pushed by YaelDillies
46m 4s master
master
46m 4s
Fix broken reference to Lean declarations in the blueprint Build Lean project #802: Commit 07fd848 pushed by YaelDillies
5m 27s master
master
5m 27s
Bump mathlib Build Lean project #801: Commit 2fb1cac pushed by YaelDillies
10m 47s master
master
10m 47s
Use checkdecls Build Lean project #800: Commit 3efac8a pushed by YaelDillies
11m 9s master
master
11m 9s
Use checkdecls Build Lean project #799: Commit 151235c pushed by YaelDillies
1m 18s master
master
1m 18s
Use leanprover-community/docgen-action Build Lean project #798: Commit c2181af pushed by YaelDillies
10m 42s master
master
10m 42s
Bump mathlib to v4.25.0 Build Lean project #797: Commit e1095d5 pushed by YaelDillies
45m 46s master
master
45m 46s