Skip to content

Actions: leanprover-community/sphere-eversion

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
70 workflow runs
70 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

more .github/workflows/blueprint.yml #26: Commit a7195d0 pushed by PatrickMassot
December 15, 2024 17:50 5m 2s master
master
December 15, 2024 17:50 5m 2s
chore: fix or silence all multi-goal warnings; small in-passing golfs .github/workflows/blueprint.yml #25: Commit 7092ea3 pushed by grunweg
November 21, 2024 13:59 5m 35s master
master
November 21, 2024 13:59 5m 35s
chore: rename SmoothOpenEmbedding.{openEmbedding,inducing} to isOpenE… .github/workflows/blueprint.yml #24: Commit 44e6799 pushed by grunweg
November 20, 2024 15:25 5m 9s master
master
November 20, 2024 15:25 5m 9s
Merge pull request #87 from Ruben-VandeVelde/MR-bump-4.12 .github/workflows/blueprint.yml #23: Commit 97755ea pushed by grunweg
October 7, 2024 12:52 4m 59s master
master
October 7, 2024 12:52 4m 59s
Shake imports .github/workflows/blueprint.yml #22: Commit d2a0d35 pushed by urkud
August 1, 2024 20:42 4m 53s master
master
August 1, 2024 20:42 4m 53s
Use reservoir require for mathlib. .github/workflows/blueprint.yml #21: Commit 7260949 pushed by grunweg
August 1, 2024 19:35 4m 59s master
master
August 1, 2024 19:35 4m 59s
Sort some imports alphabetically .github/workflows/blueprint.yml #20: Commit 1d621d5 pushed by grunweg
August 1, 2024 19:27 4m 50s master
master
August 1, 2024 19:27 4m 50s
Drop a duplicate lemma, move the remaining file to Unused .github/workflows/blueprint.yml #19: Commit fb59967 pushed by urkud
August 1, 2024 17:50 4m 56s master
master
August 1, 2024 17:50 4m 56s
Fix 2 unused defs .github/workflows/blueprint.yml #18: Commit 607a265 pushed by urkud
August 1, 2024 17:35 4m 45s master
master
August 1, 2024 17:35 4m 45s
Golf .github/workflows/blueprint.yml #17: Commit 703e280 pushed by urkud
August 1, 2024 17:18 4m 55s master
master
August 1, 2024 17:18 4m 55s
Fix some proofs in ToMathlib/Unused .github/workflows/blueprint.yml #16: Commit f04f0fd pushed by urkud
August 1, 2024 16:47 4m 50s master
master
August 1, 2024 16:47 4m 50s
Drop ToMathlib/Data/Set/Prod .github/workflows/blueprint.yml #15: Commit 9b57282 pushed by urkud
August 1, 2024 16:42 4m 59s master
master
August 1, 2024 16:42 4m 59s
Delete ToMathlib/Logic/Basic .github/workflows/blueprint.yml #14: Commit 62ac547 pushed by urkud
August 1, 2024 16:34 5m 0s master
master
August 1, 2024 16:34 5m 0s
Drop an empty file .github/workflows/blueprint.yml #13: Commit a344c1b pushed by urkud
August 1, 2024 16:30 4m 48s master
master
August 1, 2024 16:30 4m 48s
Fix warnings .github/workflows/blueprint.yml #12: Commit 87e3c45 pushed by urkud
August 1, 2024 16:16 4m 56s master
master
August 1, 2024 16:16 4m 56s
Remove now-superfluous open statements; fix one proof in Unused/. .github/workflows/blueprint.yml #11: Commit a689675 pushed by grunweg
July 22, 2024 19:00 4m 46s master
master
July 22, 2024 19:00 4m 46s
Fix a few lean3 names. .github/workflows/blueprint.yml #10: Commit e0ccbbe pushed by grunweg
July 22, 2024 17:28 5m 9s master
master
July 22, 2024 17:28 5m 9s
chore: remove superfluous open statements .github/workflows/blueprint.yml #9: Commit 9228d9b pushed by grunweg
July 8, 2024 20:52 4m 48s master
master
July 8, 2024 20:52 4m 48s
Replace mono by gcongr where possible; one golf using gcongr. .github/workflows/blueprint.yml #8: Commit 406babb pushed by grunweg
July 7, 2024 12:23 5m 1s master
master
July 7, 2024 12:23 5m 1s
Remove unused tactics and some tidying around these changes. .github/workflows/blueprint.yml #7: Commit f469c7a pushed by grunweg
July 7, 2024 11:58 4m 51s master
master
July 7, 2024 11:58 4m 51s
Miscellaneous style tweaks: .github/workflows/blueprint.yml #6: Commit 5c52693 pushed by grunweg
July 7, 2024 11:01 27m 33s master
master
July 7, 2024 11:01 27m 33s
Fix some dep graph links .github/workflows/blueprint.yml #5: Commit b046eb6 pushed by PatrickMassot
June 4, 2024 01:15 14m 41s master
master
June 4, 2024 01:15 14m 41s
Generalize an inductive construction lemma .github/workflows/blueprint.yml #4: Commit 3248cb9 pushed by PatrickMassot
June 4, 2024 00:23 25m 11s master
master
June 4, 2024 00:23 25m 11s
Fix CI typo .github/workflows/blueprint.yml #3: Commit ec2267e pushed by PatrickMassot
May 24, 2024 18:36 13m 46s master
master
May 24, 2024 18:36 13m 46s
Try to remove locally built blueprint and website .github/workflows/blueprint.yml #2: Commit f7838d0 pushed by PatrickMassot
May 24, 2024 18:05 26m 21s master
master
May 24, 2024 18:05 26m 21s