Skip to content

Actions: YaelDillies/apap

Actions

Build Lean project

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push.yml
134 workflow runs
134 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
Bump to v4.34.0-rc2 Build Lean project #441: Commit 3b4976f pushed by YaelDillies
56m 22s master
master
56m 22s
Bump to v4.34.0-rc1 Build Lean project #440: Commit d88d514 pushed by YaelDillies
49m 54s master
master
49m 54s
Bump to v4.33.0 Build Lean project #439: Commit 40a6a34 pushed by YaelDillies
53m 22s master
master
53m 22s
Bump to v4.33.0-rc2 Build Lean project #438: Commit 0a25506 pushed by YaelDillies
52m 32s master
master
52m 32s
Bump to v4.33.0-rc1 Build Lean project #437: Commit 56447c8 pushed by YaelDillies
40m 45s master
master
40m 45s
Bump to v4.32.1 Build Lean project #436: Commit e7c1ebf pushed by YaelDillies
51m 30s master
master
51m 30s
chore: bump mathlib to 79d0395, fix breaking changes Build Lean project #435: Pull request #22 synchronize by YaelDillies
4m 5s bump-mathlib/fix-79d0395
bump-mathlib/fix-79d0395
4m 5s
Bump to v4.32.0 Build Lean project #433: Commit afafc42 pushed by YaelDillies
51m 42s master
master
51m 42s
feat: make NewMarcinkiewiczZygmund sorry-free Build Lean project #432: Pull request #20 synchronize by sqrt-of-2
1m 44s sqrt-of-2:sorry-free-NewMarcinkiewiczZygmund
sqrt-of-2:sorry-free-NewMarcinkiewiczZygmund
1m 44s
Bump mathlib Build Lean project #431: Commit c1d8441 pushed by YaelDillies
49m 2s master
master
49m 2s
feat: prove Real.sqrt_le_self.mp (#21) Build Lean project #430: Commit 1e2ce8c pushed by YaelDillies
42m 1s master
master
42m 1s
feat: prove Real.sqrt_le_self.mp Build Lean project #429: Pull request #21 opened by sqrt-of-2
1m 58s sqrt-of-2:fix-Real.sqrt_le_self
sqrt-of-2:fix-Real.sqrt_le_self
1m 58s
feat: make NewMarcinkiewiczZygmund sorry-free Build Lean project #428: Pull request #20 synchronize by sqrt-of-2
2m 2s sqrt-of-2:sorry-free-NewMarcinkiewiczZygmund
sqrt-of-2:sorry-free-NewMarcinkiewiczZygmund
2m 2s
feat: make NewMarcinkiewiczZygmund sorry-free Build Lean project #427: Pull request #20 synchronize by sqrt-of-2
2m 13s sqrt-of-2:sorry-free-NewMarcinkiewiczZygmund
sqrt-of-2:sorry-free-NewMarcinkiewiczZygmund
2m 13s
feat: make NewMarcinkiewiczZygmund sorry-free Build Lean project #426: Pull request #20 synchronize by sqrt-of-2
1m 39s sqrt-of-2:sorry-free-NewMarcinkiewiczZygmund
sqrt-of-2:sorry-free-NewMarcinkiewiczZygmund
1m 39s
feat: make NewMarcinkiewiczZygmund sorry-free Build Lean project #425: Pull request #20 synchronize by sqrt-of-2
2m 10s sqrt-of-2:sorry-free-NewMarcinkiewiczZygmund
sqrt-of-2:sorry-free-NewMarcinkiewiczZygmund
2m 10s
feat: make NewMarcinkiewiczZygmund sorry-free Build Lean project #424: Pull request #20 synchronize by sqrt-of-2
1m 48s sqrt-of-2:sorry-free-NewMarcinkiewiczZygmund
sqrt-of-2:sorry-free-NewMarcinkiewiczZygmund
1m 48s
feat: make NewMarcinkiewiczZygmund sorry-free Build Lean project #423: Pull request #20 opened by sqrt-of-2
1m 45s sqrt-of-2:sorry-free-NewMarcinkiewiczZygmund
sqrt-of-2:sorry-free-NewMarcinkiewiczZygmund
1m 45s
feat: add comparator CI to verify theorem ff Build Lean project #422: Pull request #19 synchronize by sqrt-of-2
1m 44s sqrt-of-2:add-comparator-ci
sqrt-of-2:add-comparator-ci
1m 44s
feat: add comparator CI to verify theorem ff Build Lean project #421: Pull request #19 opened by sqrt-of-2
1m 33s sqrt-of-2:add-comparator-ci
sqrt-of-2:add-comparator-ci
1m 33s
feat: make ap_in_ff sorry-free (#16) Build Lean project #420: Commit 0c51122 pushed by YaelDillies
41m 22s master
master
41m 22s
feat: make ap_in_ff sorry-free Build Lean project #419: Pull request #16 synchronize by YaelDillies
2m 25s dannyply:finitefield-ap-closure
dannyply:finitefield-ap-closure
2m 25s
feat: make ap_in_ff sorry-free Build Lean project #418: Pull request #16 synchronize by YaelDillies
2m 8s dannyply:finitefield-ap-closure
dannyply:finitefield-ap-closure
2m 8s
feat: make ap_in_ff sorry-free Build Lean project #417: Pull request #16 synchronize by YaelDillies
2m 25s dannyply:finitefield-ap-closure
dannyply:finitefield-ap-closure
2m 25s
feat: make ap_in_ff sorry-free Build Lean project #416: Pull request #16 synchronize by YaelDillies
1m 52s dannyply:finitefield-ap-closure
dannyply:finitefield-ap-closure
1m 52s