Skip to content

Actions: maxsnew/cubical-categorical-logic

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
322 workflow runs
322 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adding workaround and refactor monotone CI #51: Pull request #43 opened by GenericMonkey
July 20, 2023 19:59 10m 16s GenericMonkey:implicit-refl
GenericMonkey:implicit-refl
July 20, 2023 19:59 10m 16s
Freecat refactor CI #50: Pull request #42 opened by maxsnew
July 20, 2023 14:29 10m 8s freecat-refactor
freecat-refactor
July 20, 2023 14:29 10m 8s
Preorder Refactor (#41) CI #49: Commit 36c6bea pushed by maxsnew
July 20, 2023 14:06 9m 45s main
main
July 20, 2023 14:06 9m 45s
Preorder Refactor CI #48: Pull request #41 synchronize by GenericMonkey
July 19, 2023 21:48 8m 49s GenericMonkey:preorder-refactor
GenericMonkey:preorder-refactor
July 19, 2023 21:48 8m 49s
Preorder Refactor CI #47: Pull request #41 synchronize by GenericMonkey
July 19, 2023 21:26 9m 3s GenericMonkey:preorder-refactor
GenericMonkey:preorder-refactor
July 19, 2023 21:26 9m 3s
Preorder Refactor CI #46: Pull request #41 synchronize by GenericMonkey
July 19, 2023 20:40 9m 11s GenericMonkey:preorder-refactor
GenericMonkey:preorder-refactor
July 19, 2023 20:40 9m 11s
Preorder Refactor CI #45: Pull request #41 synchronize by GenericMonkey
July 19, 2023 16:49 10m 9s GenericMonkey:preorder-refactor
GenericMonkey:preorder-refactor
July 19, 2023 16:49 10m 9s
Prove Universal elements is prop for univalent cats (#40) CI #44: Commit 4dc8429 pushed by maxsnew
July 19, 2023 13:38 8m 34s main
main
July 19, 2023 13:38 8m 34s
Preorder Refactor CI #43: Pull request #41 opened by GenericMonkey
July 19, 2023 02:43 10m 37s GenericMonkey:preorder-refactor
GenericMonkey:preorder-refactor
July 19, 2023 02:43 10m 37s
Universal element prop CI #42: Pull request #40 opened by maxsnew
July 17, 2023 14:44 9m 59s universal-element-prop
universal-element-prop
July 17, 2023 14:44 9m 59s
update to cubical HEAD (#39) CI #41: Commit d7a0db1 pushed by maxsnew
July 14, 2023 15:41 12m 49s main
main
July 14, 2023 15:41 12m 49s
update to cubical HEAD CI #40: Pull request #39 synchronize by maxsnew
July 11, 2023 22:27 10m 21s cubical-update
cubical-update
July 11, 2023 22:27 10m 21s
update to cubical HEAD CI #39: Pull request #39 opened by maxsnew
July 11, 2023 20:33 4m 25s cubical-update
cubical-update
July 11, 2023 20:33 4m 25s
Merge pull request #37 from stschaef/main CI #38: Commit 38cd7d4 pushed by stschaef
July 5, 2023 15:17 6m 39s main
main
July 5, 2023 15:17 6m 39s
Grothendieck forgetful functor CI #37: Pull request #37 synchronize by stschaef
July 5, 2023 14:37 11m 5s stschaef:main
stschaef:main
July 5, 2023 14:37 11m 5s
Grothendieck forgetful functor CI #36: Pull request #37 synchronize by stschaef
July 5, 2023 14:16 6m 42s stschaef:main
stschaef:main
July 5, 2023 14:16 6m 42s
succinct definition of a simple category with families CI #35: Commit e1ea88b pushed by maxsnew
July 2, 2023 00:08 11m 38s main
main
July 2, 2023 00:08 11m 38s
fix broken uses of DisplayedCaetgory CI #34: Commit b7a6b78 pushed by maxsnew
July 1, 2023 21:32 13m 20s main
main
July 1, 2023 21:32 13m 20s
fix line lengths CI #33: Commit 2f0f9b3 pushed by maxsnew
July 1, 2023 20:36 27m 17s main
main
July 1, 2023 20:36 27m 17s
Add definition of a section of a displayed category CI #32: Commit f4f8b74 pushed by maxsnew
July 1, 2023 20:34 30m 9s main
main
July 1, 2023 20:34 30m 9s
Grothendieck forgetful functor CI #31: Pull request #37 synchronize by stschaef
June 19, 2023 16:52 11m 29s stschaef:main
stschaef:main
June 19, 2023 16:52 11m 29s
Grothendieck forgetful functor CI #30: Pull request #37 opened by stschaef
June 19, 2023 16:05 9m 41s stschaef:main
stschaef:main
June 19, 2023 16:05 9m 41s
ProTip! You can narrow down the results and go further in time using created:<2023-06-19 or the other filters available.