Skip to content

Actions: emilyriehl/infinity-cosmos

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
599 workflow runs
599 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix universes Compile blueprint #58: Commit 2bce4c2 pushed by digama0
August 24, 2024 04:49 9m 27s main
main
August 24, 2024 04:49 9m 27s
fix universes Lint Style #64: Commit 2bce4c2 pushed by digama0
August 24, 2024 04:49 9s main
main
August 24, 2024 04:49 9s
finished the proof 🎉 Lint Style #63: Commit 3f6492c pushed by digama0
August 24, 2024 01:22 10s main
main
August 24, 2024 01:22 10s
finished the proof 🎉 Compile blueprint #57: Commit 3f6492c pushed by digama0
August 24, 2024 01:22 9m 31s main
main
August 24, 2024 01:22 9m 31s
refactor: golf HomotopyCat Compile blueprint #56: Commit 9c8eb40 pushed by pitmonticone
August 23, 2024 23:52 8m 41s main
main
August 23, 2024 23:52 8m 41s
refactor: golf HomotopyCat Lint Style #62: Commit 9c8eb40 pushed by pitmonticone
August 23, 2024 23:52 10s main
main
August 23, 2024 23:52 10s
Add local files to .gitignore Lint Style #61: Commit 8bda653 pushed by pitmonticone
August 23, 2024 23:20 13s main
main
August 23, 2024 23:20 13s
Add local files to .gitignore Compile blueprint #55: Commit 8bda653 pushed by pitmonticone
August 23, 2024 23:20 8m 52s main
main
August 23, 2024 23:20 8m 52s
Fix typo Compile blueprint #54: Commit d7bfcee pushed by pitmonticone
August 23, 2024 23:18 8m 49s main
main
August 23, 2024 23:18 8m 49s
Fix typo Lint Style #60: Commit d7bfcee pushed by pitmonticone
August 23, 2024 23:18 14s main
main
August 23, 2024 23:18 14s
experiments Compile blueprint #53: Commit 96b1816 pushed by emilyriehl
August 22, 2024 22:43 9m 37s main
main
August 22, 2024 22:43 9m 37s
experiments Lint Style #59: Commit 96b1816 pushed by emilyriehl
August 22, 2024 22:43 16s main
main
August 22, 2024 22:43 16s
feat: finished isPointwiseRightKanExtensionAt Lint Style #58: Commit 9ccdd9c pushed by digama0
August 22, 2024 22:04 14s main
main
August 22, 2024 22:04 14s
feat: finished isPointwiseRightKanExtensionAt Compile blueprint #52: Commit 9ccdd9c pushed by digama0
August 22, 2024 22:04 9m 3s main
main
August 22, 2024 22:04 9m 3s
more work towards 2cosk Compile blueprint #51: Commit ad16330 pushed by emilyriehl
August 21, 2024 19:57 9m 26s main
main
August 21, 2024 19:57 9m 26s
more work towards 2cosk Lint Style #57: Commit ad16330 pushed by emilyriehl
August 21, 2024 19:57 14s main
main
August 21, 2024 19:57 14s
Bump doc-gen4 correctly to avoid CI fail Compile blueprint #50: Commit 03b4a60 pushed by pitmonticone
August 20, 2024 16:28 12m 45s main
main
August 20, 2024 16:28 12m 45s
Bump doc-gen4 correctly to avoid CI fail Lint Style #56: Commit 03b4a60 pushed by pitmonticone
August 20, 2024 16:28 15s main
main
August 20, 2024 16:28 15s
Bump dependencies and fix build Lint Style #55: Commit cd94960 pushed by pitmonticone
August 20, 2024 16:01 13s main
main
August 20, 2024 16:01 13s
Bump dependencies and fix build Compile blueprint #49: Commit cd94960 pushed by pitmonticone
August 20, 2024 16:01 2m 56s main
main
August 20, 2024 16:01 2m 56s
attempt to add Johan's fixes to wombat but something fails Lint Style #54: Commit 43c9a5d pushed by emilyriehl
August 20, 2024 15:24 15s main
main
August 20, 2024 15:24 15s
attempt to add Johan's fixes to wombat but something fails Compile blueprint #48: Commit 43c9a5d pushed by emilyriehl
August 20, 2024 15:24 2m 25s main
main
August 20, 2024 15:24 2m 25s
testing labeled tizkcd diagrams Lint Style #53: Commit 735d8aa pushed by emilyriehl
August 19, 2024 15:59 15s main
main
August 19, 2024 15:59 15s
testing labeled tizkcd diagrams Compile blueprint #47: Commit 735d8aa pushed by emilyriehl
August 19, 2024 15:59 11m 33s main
main
August 19, 2024 15:59 11m 33s
attempt to fix tikzcd Compile blueprint #46: Commit 7cee8ca pushed by emilyriehl
August 19, 2024 15:30 11m 45s main
main
August 19, 2024 15:30 11m 45s
ProTip! You can narrow down the results and go further in time using created:<2024-08-19 or the other filters available.