Skip to content

Actions: patrick-nicodemus/HoTT

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
73 workflow runs
73 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

removed functorCat CI #23: Commit b0eaa69 pushed by patrick-nicodemus
February 22, 2025 05:07 2m 41s bicategory_cat
bicategory_cat
February 22, 2025 05:07 2m 41s
Initial commit CI #22: Commit 894bd59 pushed by patrick-nicodemus
February 22, 2025 05:06 1m 29s bicategory_cat
bicategory_cat
February 22, 2025 05:06 1m 29s
Deleted extraneous file CI #21: Commit a0332db pushed by patrick-nicodemus
February 21, 2025 08:43 19m 50s bicategory
bicategory
February 21, 2025 08:43 19m 50s
comments CI #20: Commit f0f1818 pushed by patrick-nicodemus
February 21, 2025 08:41 1m 38s bicategory
bicategory
February 21, 2025 08:41 1m 38s
comments CI #19: Commit 813bd94 pushed by patrick-nicodemus
February 21, 2025 08:41 50s bicategory
bicategory
February 21, 2025 08:41 50s
Fixed downstream CI #18: Commit baf94c9 pushed by patrick-nicodemus
February 21, 2025 08:38 3m 32s bicategory
bicategory
February 21, 2025 08:38 3m 32s
Defined a bicategory and a (2,1)-cat, still need to fix downstream br… CI #17: Commit b9b9563 pushed by patrick-nicodemus
February 20, 2025 06:56 2m 49s bicategory
bicategory
February 20, 2025 06:56 2m 49s
started refactoring TwoOneCat, in a broken state CI #16: Commit 1e6f31e pushed by patrick-nicodemus
February 18, 2025 21:42 2m 53s bicategory
bicategory
February 18, 2025 21:42 2m 53s
Merge pull request #2217 from jdchristensen/surjective-factor CI #15: Commit cf9194f pushed by patrick-nicodemus
February 18, 2025 18:32 19m 53s master
master
February 18, 2025 18:32 19m 53s
Merge pull request #2216 from jdchristensen/minor-misc-fixes CI #14: Commit f197482 pushed by patrick-nicodemus
February 18, 2025 16:17 19m 29s master
master
February 18, 2025 16:17 19m 29s
Started working on displayed functor category CI #13: Commit f266a45 pushed by patrick-nicodemus
February 17, 2025 13:16 1h 51m 31s exponential_fibration
exponential_fibration
February 17, 2025 13:16 1h 51m 31s
Removed a comment. CI #12: Commit eac0476 pushed by patrick-nicodemus
February 17, 2025 12:14 19m 30s bicategory
bicategory
February 17, 2025 12:14 19m 30s
Defined Bicategory CI #11: Commit 2f917ed pushed by patrick-nicodemus
February 17, 2025 12:08 6m 30s bicategory
bicategory
February 17, 2025 12:08 6m 30s
Merge pull request #2205 from Alizter/ps/rr/more_on_commutator_subgroups CI #10: Commit c78afab pushed by patrick-nicodemus
February 16, 2025 08:05 19m 50s master
master
February 16, 2025 08:05 19m 50s
Update theories/Homotopy/ClassifyingSpace.v CI #9: Commit 9861b77 pushed by patrick-nicodemus
January 27, 2025 15:07 20m 0s wildcat-rewriting-tweaks
wildcat-rewriting-tweaks
January 27, 2025 15:07 20m 0s
Removed accidental code CI #8: Commit cf3f88e pushed by patrick-nicodemus
January 27, 2025 02:44 19m 24s wildcat-rewriting-tweaks
wildcat-rewriting-tweaks
January 27, 2025 02:44 19m 24s
Removed accidental code CI #7: Commit 0ea00ce pushed by patrick-nicodemus
January 26, 2025 20:57 19m 8s wildcat-rewriting-tweaks
wildcat-rewriting-tweaks
January 26, 2025 20:57 19m 8s
Fixed broken proof CI #6: Commit c7a44fa pushed by patrick-nicodemus
January 24, 2025 20:05 19m 29s wildcat-rewriting-tweaks
wildcat-rewriting-tweaks
January 24, 2025 20:05 19m 29s
Merge branch 'master' into wildcat-rewriting-tweaks CI #5: Commit 38fec26 pushed by patrick-nicodemus
January 24, 2025 16:25 7m 15s wildcat-rewriting-tweaks
wildcat-rewriting-tweaks
January 24, 2025 16:25 7m 15s
Made a change to Hint Mode CI #4: Commit 5be3a61 pushed by patrick-nicodemus
January 24, 2025 16:22 3m 13s wildcat-rewriting-tweaks
wildcat-rewriting-tweaks
January 24, 2025 16:22 3m 13s
Hint mode CI #3: Commit 9c9d96f pushed by patrick-nicodemus
January 21, 2025 14:55 20m 58s wildcat-rewriting-tweaks
wildcat-rewriting-tweaks
January 21, 2025 14:55 20m 58s
Hint mode CI #2: Commit 4458c30 pushed by patrick-nicodemus
January 21, 2025 14:49 6m 30s wildcat-rewriting-tweaks
wildcat-rewriting-tweaks
January 21, 2025 14:49 6m 30s
Merge pull request #2199 from jdchristensen/decidable-exists CI #1: Commit 6ae0f16 pushed by patrick-nicodemus
January 21, 2025 14:37 12m 42s wildcat-rewriting-tweaks
wildcat-rewriting-tweaks
January 21, 2025 14:37 12m 42s