Skip to content

Actions: emilyriehl/infinity-cosmos

Actions

Compile blueprint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
blueprint.yml
326 workflow runs
326 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[create-pull-request] automated change (#90) Compile blueprint #334: Commit 34ecb07 pushed by pitmonticone
February 13, 2025 09:51 12m 57s main
main
February 13, 2025 09:51 12m 57s
chore: bump mathlib Compile blueprint #333: Commit 37a4173 pushed by pitmonticone
February 12, 2025 14:59 12m 50s main
main
February 12, 2025 14:59 12m 50s
Finite models of Isomorphism Compile blueprint #332: Pull request #83 synchronize by emilyriehl
February 9, 2025 21:58 5m 47s mpenciak:pushouts
mpenciak:pushouts
February 9, 2025 21:58 5m 47s
Finite models of Isomorphism Compile blueprint #331: Pull request #83 synchronize by emilyriehl
February 9, 2025 21:51 1m 31s mpenciak:pushouts
mpenciak:pushouts
February 9, 2025 21:51 1m 31s
Finite models of Isomorphism Compile blueprint #330: Pull request #83 synchronize by emilyriehl
February 8, 2025 23:01 5m 21s mpenciak:pushouts
mpenciak:pushouts
February 8, 2025 23:01 5m 21s
[create-pull-request] automated change (#88) Compile blueprint #329: Commit dcf3404 pushed by pitmonticone
February 7, 2025 10:02 12m 31s main
main
February 7, 2025 10:02 12m 31s
[create-pull-request] automated change (#87) Compile blueprint #328: Commit 0c37d4f pushed by pitmonticone
February 4, 2025 08:27 12m 44s main
main
February 4, 2025 08:27 12m 44s
[create-pull-request] automated change (#86) Compile blueprint #327: Commit 4da4459 pushed by pitmonticone
February 3, 2025 22:03 13m 22s main
main
February 3, 2025 22:03 13m 22s
chore(ForMathlib/AlgebraicTopology/SimplicialSet/HomotopyCat): golf Compile blueprint #326: Commit e459b12 pushed by pitmonticone
February 3, 2025 10:18 6m 55s main
main
February 3, 2025 10:18 6m 55s
chore(ForMathlib/AlgebraicTopology/SimplicialSet/Homotopy): golf Compile blueprint #325: Commit c7e3c99 pushed by pitmonticone
February 3, 2025 10:17 41s main
main
February 3, 2025 10:17 41s
chore: bump and use .toml config file Compile blueprint #324: Commit 5432dd5 pushed by pitmonticone
February 3, 2025 09:53 12m 16s main
main
February 3, 2025 09:53 12m 16s
[create-pull-request] automated change (#85) Compile blueprint #323: Commit 4c41361 pushed by pitmonticone
February 1, 2025 12:16 12m 8s main
main
February 1, 2025 12:16 12m 8s
chore: bump mathlib Compile blueprint #322: Commit 16ed3d4 pushed by pitmonticone
January 31, 2025 09:33 12m 15s main
main
January 31, 2025 09:33 12m 15s
Finite models of Isomorphism Compile blueprint #321: Pull request #83 synchronize by emilyriehl
January 29, 2025 21:10 5m 32s mpenciak:pushouts
mpenciak:pushouts
January 29, 2025 21:10 5m 32s
Finite models of Isomorphism Compile blueprint #320: Pull request #83 synchronize by emilyriehl
January 29, 2025 20:44 5m 26s mpenciak:pushouts
mpenciak:pushouts
January 29, 2025 20:44 5m 26s
Finite models of Isomorphism Compile blueprint #319: Pull request #83 synchronize by emilyriehl
January 29, 2025 20:38 5m 15s mpenciak:pushouts
mpenciak:pushouts
January 29, 2025 20:38 5m 15s
Finite models of Isomorphism Compile blueprint #318: Pull request #83 opened by mpenciak
January 29, 2025 04:14 5m 41s mpenciak:pushouts
mpenciak:pushouts
January 29, 2025 04:14 5m 41s
update stdSimplex naming Compile blueprint #317: Commit f749b5c pushed by emilyriehl
January 24, 2025 17:41 12m 29s main
main
January 24, 2025 17:41 12m 29s
bump mathlib Compile blueprint #316: Commit 102bb12 pushed by emilyriehl
January 24, 2025 17:37 4m 19s main
main
January 24, 2025 17:37 4m 19s
feat: generalise conical limits (#78) Compile blueprint #315: Commit 16c1b0d pushed by emilyriehl
January 23, 2025 14:41 5m 30s main
main
January 23, 2025 14:41 5m 30s
feat: generalise conical limits Compile blueprint #314: Pull request #78 synchronize by joneugster
January 22, 2025 18:22 5m 21s eugster/conical_limits
eugster/conical_limits
January 22, 2025 18:22 5m 21s
feat: generalise conical limits Compile blueprint #313: Pull request #78 synchronize by joneugster
January 22, 2025 17:17 5m 30s eugster/conical_limits
eugster/conical_limits
January 22, 2025 17:17 5m 30s
feat: generalise conical limits Compile blueprint #312: Pull request #78 synchronize by joneugster
January 22, 2025 16:59 5m 19s eugster/conical_limits
eugster/conical_limits
January 22, 2025 16:59 5m 19s
feat: generalise conical limits Compile blueprint #311: Pull request #78 synchronize by joneugster
January 22, 2025 16:55 1m 29s eugster/conical_limits
eugster/conical_limits
January 22, 2025 16:55 1m 29s
feat: generalise conical limits Compile blueprint #310: Pull request #78 synchronize by joneugster
January 22, 2025 15:52 1m 42s eugster/conical_limits
eugster/conical_limits
January 22, 2025 15:52 1m 42s