Skip to content

Actions: leanprover-community/sphere-eversion

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
75 workflow runs
75 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix(blueprint): declaration name, for the mathlib bump .github/workflows/blueprint.yml #31: Commit 29c536b pushed by grunweg
January 17, 2025 22:34 25m 26s master
master
January 17, 2025 22:34 25m 26s
Update blueprint.yml .github/workflows/blueprint.yml #30: Commit b57f92d pushed by grunweg
January 17, 2025 20:11 25m 46s master
master
January 17, 2025 20:11 25m 46s
refactor: split docs generation into a subdirectory .github/workflows/blueprint.yml #29: Commit 80d9f2f pushed by grunweg
January 17, 2025 15:56 24m 29s master
master
January 17, 2025 15:56 24m 29s
Update local_to_global.tex .github/workflows/blueprint.yml #28: Commit 6e348c3 pushed by grunweg
January 17, 2025 15:44 5m 1s master
master
January 17, 2025 15:44 5m 1s
fix .github/workflows/blueprint.yml #27: Commit c8247c6 pushed by PatrickMassot
January 14, 2025 23:02 5m 6s master
master
January 14, 2025 23:02 5m 6s
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