Skip to content

Actions: rzk-lang/sHoTT

Actions

Typecheck with latest Rzk

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rzk.yml
443 workflow runs
443 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Uniqueness of adjunction data Typecheck with latest Rzk #577: Pull request #131 synchronize by emilyriehl
October 26, 2023 23:16 44s more-adjunctions
more-adjunctions
October 26, 2023 23:16 44s
More functoriality of fibers Typecheck with latest Rzk #576: Pull request #134 synchronize by emilyriehl
October 26, 2023 23:16 35s TashiWalde:retract-of-is-equiv
TashiWalde:retract-of-is-equiv
October 26, 2023 23:16 35s
Merge pull request #130 from TashiWalde/functoriality-extensions Typecheck with latest Rzk #575: Commit a0b6f07 pushed by emilyriehl
October 26, 2023 23:16 38s main
main
October 26, 2023 23:16 38s
Functoriality properties of extension types Typecheck with latest Rzk #574: Pull request #130 synchronize by emilyriehl
October 26, 2023 23:15 39s TashiWalde:functoriality-extensions
TashiWalde:functoriality-extensions
October 26, 2023 23:15 39s
Merge pull request #129 from TashiWalde/fiber-products Typecheck with latest Rzk #573: Commit fc05e8c pushed by emilyriehl
October 26, 2023 23:12 35s main
main
October 26, 2023 23:12 35s
Total fibers are iterated fibers Typecheck with latest Rzk #572: Pull request #129 synchronize by emilyriehl
October 26, 2023 23:11 42s TashiWalde:fiber-products
TashiWalde:fiber-products
October 26, 2023 23:11 42s
Anodyne shape inclusions Typecheck with latest Rzk #571: Pull request #126 synchronize by emilyriehl
October 26, 2023 23:10 53s TashiWalde:anodyne
TashiWalde:anodyne
October 26, 2023 23:10 53s
begin work on some homotopy coherences Typecheck with latest Rzk #570: Pull request #113 synchronize by emilyriehl
October 26, 2023 23:05 39s htpy-coherence
htpy-coherence
October 26, 2023 23:05 39s
begin work on some homotopy coherences Typecheck with latest Rzk #569: Pull request #113 synchronize by emilyriehl
October 26, 2023 23:03 39s htpy-coherence
htpy-coherence
October 26, 2023 23:03 39s
begin work on some homotopy coherences Typecheck with latest Rzk #568: Pull request #113 synchronize by emilyriehl
October 26, 2023 23:03 46s htpy-coherence
htpy-coherence
October 26, 2023 23:03 46s
begin work on some homotopy coherences Typecheck with latest Rzk #567: Pull request #113 synchronize by emilyriehl
October 26, 2023 23:03 33s htpy-coherence
htpy-coherence
October 26, 2023 23:03 33s
begin work on some homotopy coherences Typecheck with latest Rzk #566: Pull request #113 synchronize by emilyriehl
October 26, 2023 23:03 43s htpy-coherence
htpy-coherence
October 26, 2023 23:03 43s
Uniqueness of adjunction data Typecheck with latest Rzk #565: Pull request #131 synchronize by emilyriehl
October 25, 2023 02:19 44s more-adjunctions
more-adjunctions
October 25, 2023 02:19 44s
Embeddings and propositional fibers Typecheck with latest Rzk #564: Pull request #132 synchronize by emilyriehl
October 25, 2023 02:18 34s all-elements-equal-subtype
all-elements-equal-subtype
October 25, 2023 02:18 34s
Merge pull request #94 from fredrik-bakke/style-guide Typecheck with latest Rzk #563: Commit 5f6a9ac pushed by emilyriehl
October 25, 2023 02:18 42s main
main
October 25, 2023 02:18 42s
Finish draft of the style guide Typecheck with latest Rzk #562: Pull request #94 synchronize by fredrik-bakke
October 23, 2023 20:34 33s style-guide
style-guide
October 23, 2023 20:34 33s
Finish draft of the style guide Typecheck with latest Rzk #561: Pull request #94 synchronize by fredrik-bakke
October 23, 2023 16:41 42s style-guide
style-guide
October 23, 2023 16:41 42s
Finish draft of the style guide Typecheck with latest Rzk #560: Pull request #94 synchronize by fredrik-bakke
October 23, 2023 16:38 46s style-guide
style-guide
October 23, 2023 16:38 46s
Finish draft of the style guide Typecheck with latest Rzk #559: Pull request #94 synchronize by fredrik-bakke
October 23, 2023 16:29 47s style-guide
style-guide
October 23, 2023 16:29 47s
Finish draft of the style guide Typecheck with latest Rzk #558: Pull request #94 synchronize by fredrik-bakke
October 23, 2023 16:23 34s style-guide
style-guide
October 23, 2023 16:23 34s
More functoriality of fibers Typecheck with latest Rzk #557: Pull request #134 opened by TashiWalde
October 23, 2023 16:18 42s TashiWalde:retract-of-is-equiv
TashiWalde:retract-of-is-equiv
October 23, 2023 16:18 42s
Finish draft of the style guide Typecheck with latest Rzk #556: Pull request #94 synchronize by emilyriehl
October 23, 2023 15:30 46s style-guide
style-guide
October 23, 2023 15:30 46s
Embeddings and propositional fibers Typecheck with latest Rzk #555: Pull request #132 synchronize by emilyriehl
October 23, 2023 15:21 43s all-elements-equal-subtype
all-elements-equal-subtype
October 23, 2023 15:21 43s
Embeddings and propositional fibers Typecheck with latest Rzk #554: Pull request #132 synchronize by emilyriehl
October 23, 2023 13:48 37s all-elements-equal-subtype
all-elements-equal-subtype
October 23, 2023 13:48 37s
Functoriality properties of extension types Typecheck with latest Rzk #553: Pull request #130 synchronize by TashiWalde
October 23, 2023 11:16 38s TashiWalde:functoriality-extensions
TashiWalde:functoriality-extensions
October 23, 2023 11:16 38s