Skip to content

Actions: emilyriehl/infinity-cosmos

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
597 workflow runs
597 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github_actions in /. - Update #925218394 Dependabot Updates #7: by dependabot bot
December 1, 2024 20:28 34s main
main
December 1, 2024 20:28 34s
[create-pull-request] automated change (#54) Compile blueprint #266: Commit f6a9b15 pushed by pitmonticone
December 1, 2024 13:01 12m 42s main
main
December 1, 2024 13:01 12m 42s
[create-pull-request] automated change (#54) Create Release #3: Commit f6a9b15 pushed by pitmonticone
December 1, 2024 13:01 12s main
main
December 1, 2024 13:01 12s
Update Dependencies Update Dependencies #34: Scheduled
December 1, 2024 08:16 3m 18s main
main
December 1, 2024 08:16 3m 18s
fix blueprint Compile blueprint #265: Commit 7fc82c5 pushed by pitmonticone
December 1, 2024 02:36 11m 55s main
main
December 1, 2024 02:36 11m 55s
fix blueprint Compile blueprint #264: Commit 8e162d4 pushed by emilyriehl
December 1, 2024 00:01 12m 29s main
main
December 1, 2024 00:01 12m 29s
closed some sorries Compile blueprint #263: Commit bc67817 pushed by emilyriehl
November 30, 2024 23:59 1m 58s main
main
November 30, 2024 23:59 1m 58s
update blueprint and fix build Compile blueprint #262: Commit 163267e pushed by emilyriehl
November 30, 2024 23:31 11m 21s main
main
November 30, 2024 23:31 11m 21s
chore(ForMathlib/CategoryTheory/Enriched): golf a few proofs (#52) Compile blueprint #261: Commit 86f2f8d pushed by pitmonticone
November 28, 2024 22:21 6m 5s main
main
November 28, 2024 22:21 6m 5s
Update Dependencies Update Dependencies #33: Scheduled
November 28, 2024 08:18 2m 11s main
main
November 28, 2024 08:18 2m 11s
chore(ForMathlib/CategoryTheory/Enriched): golf a few proofs Compile blueprint #260: Pull request #52 opened by pitmonticone
November 26, 2024 23:53 5m 40s pitmonticone/golf-enriched
pitmonticone/golf-enriched
November 26, 2024 23:53 5m 40s
competing attempt to bump mathlib and update blueprint (#50) Compile blueprint #258: Commit c0d7bdc pushed by emilyriehl
November 26, 2024 18:10 11m 46s main
main
November 26, 2024 18:10 11m 46s
competing attempt to bump mathlib and update blueprint Compile blueprint #257: Pull request #50 synchronize by pitmonticone
November 26, 2024 17:49 11m 11s bump
bump
November 26, 2024 17:49 11m 11s
competing attempt to bump mathlib and update blueprint Compile blueprint #256: Pull request #50 opened by emilyriehl
November 26, 2024 17:16 12m 15s bump
bump
November 26, 2024 17:16 12m 15s
[create-pull-request] automated change (#48) Compile blueprint #254: Commit 451d19a pushed by pitmonticone
November 25, 2024 11:49 11m 42s main
main
November 25, 2024 11:49 11m 42s
Update Dependencies Update Dependencies #32: Scheduled
November 25, 2024 08:18 3m 26s main
main
November 25, 2024 08:18 3m 26s
Proving Δ[0] is terminal in the category of simplicial sets (#47) Compile blueprint #253: Commit df303a5 pushed by emilyriehl
November 23, 2024 19:39 5m 53s main
main
November 23, 2024 19:39 5m 53s
tensor_μ now tensorμ Compile blueprint #252: Commit 4c68d4a pushed by emilyriehl
November 23, 2024 19:10 12m 35s main
main
November 23, 2024 19:10 12m 35s
update Compile blueprint #251: Commit d5413ab pushed by emilyriehl
November 22, 2024 20:49 2m 24s main
main
November 22, 2024 20:49 2m 24s
Proving Δ[0] is terminal in the category of simplicial sets Compile blueprint #250: Pull request #47 synchronize by Georjez
November 22, 2024 20:45 6m 46s Georjez:delta0_terminal
Georjez:delta0_terminal
November 22, 2024 20:45 6m 46s
cut commented out code and updated blueprint Compile blueprint #249: Commit 101195d pushed by emilyriehl
November 22, 2024 20:20 5m 36s main
main
November 22, 2024 20:20 5m 36s
Experiments with the definition of an oo-cosmos (#39) Compile blueprint #247: Commit 87d4d4b pushed by emilyriehl
November 22, 2024 19:44 6m 30s main
main
November 22, 2024 19:44 6m 30s
Experiments with the definition of an oo-cosmos Compile blueprint #245: Pull request #39 synchronize by emilyriehl
November 22, 2024 18:57 5m 59s experiments
experiments
November 22, 2024 18:57 5m 59s
Update Dependencies Update Dependencies #31: Scheduled
November 22, 2024 08:17 3m 20s main
main
November 22, 2024 08:17 3m 20s
Experiments with the definition of an oo-cosmos Compile blueprint #244: Pull request #39 synchronize by emilyriehl
November 22, 2024 02:16 5m 31s experiments
experiments
November 22, 2024 02:16 5m 31s