8000 Workflow runs · VojtechStep/homotopy-pushouts · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Actions: VojtechStep/homotopy-pushouts

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
34 workflow runs
34 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Typography fixes and production version PDF build #45: Commit 1c137f3 pushed by VojtechStep
July 18, 2024 18:30 2m 0s main
main
July 18, 2024 18:30 2m 0s
Progress on finishing touches PDF build #44: Commit 4c3d5d4 pushed by VojtechStep
July 18, 2024 14:45 2m 13s main
main
July 18, 2024 14:45 2m 13s
Introduction PDF build #43: Commit 2ab03f0 pushed by VojtechStep
July 17, 2024 22:57 2m 0s main
main
July 17, 2024 22:57 2m 0s
HoTT chapter progress PDF build #42: Commit dc61d24 pushed by VojtechStep
July 17, 2024 14:38 2m 16s main
main
July 17, 2024 14:38 2m 16s
Introduction work PDF build #41: Commit 6b74c08 pushed by VojtechStep
July 16, 2024 22:29 2m 0s main
main
July 16, 2024 22:29 2m 0s
Zigzags PDF build #40: Commit 2007e74 pushed by VojtechStep
July 14, 2024 22:23 2m 13s main
main
July 14, 2024 22:23 2m 13s
Descent and flattening for sequential colimits PDF build #39: Commit d890c38 pushed by VojtechStep
July 12, 2024 23:20 1m 50s main
main
July 12, 2024 23:20 1m 50s
Shifts of sequential diagrams PDF build #38: Commit f4924e8 pushed by VojtechStep
July 12, 2024 14:55 1m 51s main
main
July 12, 2024 14:55 1m 51s
More functoriality, some shifts PDF build #37: Commit 3e96dae pushed by VojtechStep
July 11, 2024 21:55 1m 43s main
main
July 11, 2024 21:55 1m 43s
Functoriality of sequential colimits PDF build #36: Commit ce36f1e pushed by VojtechStep
July 11, 2024 14:24 1m 48s main
main
July 11, 2024 14:24 1m 48s
Computation rules for some colimits PDF build #35: Commit 440e2c3 pushed by VojtechStep
July 11, 2024 09:17 2m 7s main
main
July 11, 2024 09:17 2m 7s
Computation of cogap PDF build #34: Commit 7ffd163 pushed by VojtechStep
July 10, 2024 21:16 1m 42s main
main
July 10, 2024 21:16 1m 42s
More sequential colimits PDF build #33: Commit a5292c9 pushed by VojtechStep
July 10, 2024 15:12 1m 51s main
main
July 10, 2024 15:12 1m 51s
Set up for pullback properties PDF build #32: Commit f587eaf pushed by VojtechStep
July 10, 2024 06:25 1m 46s main
main
July 10, 2024 06:25 1m 46s
Mostly finish coequalizers PDF build #31: Commit bad27fb pushed by VojtechStep
July 9, 2024 15:11 1m 57s main
main
July 9, 2024 15:11 1m 57s
Coequalizers PDF build #30: Commit 6fa1498 pushed by VojtechStep
July 9, 2024 13:50 1m 38s main
main
July 9, 2024 13:50 1m 38s
Flattening, identity systems, some coequalizers PDF build #29: Commit afdd4b4 pushed by VojtechStep
July 8, 2024 15:34 1m 40s main
main
July 8, 2024 15:34 1m 40s
More descent and flattening PDF build #28: Commit e067c3a pushed by VojtechStep
July 7, 2024 23:03 1m 56s main
main
July 7, 2024 23:03 1m 56s
Even more descent PDF build #27: Commit ed08959 pushed by VojtechStep
July 5, 2024 15:05 1m 38s main
main
July 5, 2024 15:05 1m 38s
More descent PDF build #26: Commit f2b8348 pushed by VojtechStep
July 4, 2024 21:36 1m 27s main
main
July 4, 2024 21:36 1m 27s
Pushouts PDF build #25: Commit dee1fcf pushed by VojtechStep
July 4, 2024 16:38 1m 29s main
main
July 4, 2024 16:38 1m 29s
Switch to a fork of cuni-thesis-validator PDF build #24: Commit 85cf730 pushed by VojtechStep
July 3, 2024 21:28 1m 42s main
main
July 3, 2024 21:28 1m 42s
Switch to a fork of cuni-thesis-validator PDF build #23: Commit 8883d9d pushed by VojtechStep
July 3, 2024 21:26 1m 37s main
main
July 3, 2024 21:26 1m 37s
More outlines PDF build #22: Commit 7fd97e7 pushed by VojtechStep
July 3, 2024 20:38 19s main
main
July 3, 2024 20:38 19s
More thesis outlines PDF build #21: Commit 1b1b80b pushed by VojtechStep
July 1, 2024 13:43 1m 27s main
main
July 1, 2024 13:43 1m 27s
0