Skip to content

Actions: rzk-lang/sHoTT

Actions

Typecheck with latest Rzk

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rzk.yml
395 workflow runs
395 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Total fibers are iterated fibers Typecheck with latest Rzk #552: Pull request #129 synchronize by TashiWalde
October 23, 2023 10:44 40s TashiWalde:fiber-products
TashiWalde:fiber-products
October 23, 2023 10:44 40s
Functoriality properties of extension types Typecheck with latest Rzk #551: Pull request #130 synchronize by TashiWalde
October 23, 2023 10:40 35s TashiWalde:functoriality-extensions
TashiWalde:functoriality-extensions
October 23, 2023 10:40 35s
Functoriality properties of extension types Typecheck with latest Rzk #550: Pull request #130 synchronize by TashiWalde
October 23, 2023 10:39 24s TashiWalde:functoriality-extensions
TashiWalde:functoriality-extensions
October 23, 2023 10:39 24s
Total fibers are iterated fibers Typecheck with latest Rzk #549: Pull request #129 synchronize by TashiWalde
October 23, 2023 10:36 18s TashiWalde:fiber-products
TashiWalde:fiber-products
October 23, 2023 10:36 18s
Anodyne shape inclusions Typecheck with latest Rzk #548: Pull request #126 synchronize by TashiWalde
October 23, 2023 10:34 46s TashiWalde:anodyne
TashiWalde:anodyne
October 23, 2023 10:34 46s
Uniqueness of adjunction data Typecheck with latest Rzk #547: Pull request #131 synchronize by emilyriehl
October 23, 2023 00:58 36s more-adjunctions
more-adjunctions
October 23, 2023 00:58 36s
Embeddings and propositional fibers Typecheck with latest Rzk #546: Pull request #132 opened by emilyriehl
October 23, 2023 00:51 17s all-elements-equal-subtype
all-elements-equal-subtype
October 23, 2023 00:51 17s
Merge pull request #122 from TashiWalde/fibers-between-segal Typecheck with latest Rzk #545: Commit ca85956 pushed by emilyriehl
October 22, 2023 18:29 32s main
main
October 22, 2023 18:29 32s
Fibers between Segal types are Segal Typecheck with latest Rzk #544: Pull request #122 synchronize by emilyriehl
October 22, 2023 18:28 33s TashiWalde:fibers-between-segal
TashiWalde:fibers-between-segal
October 22, 2023 18:28 33s
Uniqueness of adjunction data Typecheck with latest Rzk #543: Pull request #131 synchronize by emilyriehl
October 22, 2023 14:59 51s more-adjunctions
more-adjunctions
October 22, 2023 14:59 51s
Merge pull request #125 from rzk-lang/uniqueness-colimits Typecheck with latest Rzk #542: Commit 3517851 pushed by emilyriehl
October 22, 2023 14:58 33s main
main
October 22, 2023 14:58 33s
colimits are unique up to isomorphism Typecheck with latest Rzk #541: Pull request #125 synchronize by emilyriehl
October 22, 2023 14:56 37s uniqueness-colimits
uniqueness-colimits
October 22, 2023 14:56 37s
colimits are unique up to isomorphism Typecheck with latest Rzk #540: Pull request #125 synchronize by emilyriehl
October 22, 2023 14:43 32s uniqueness-colimits
uniqueness-colimits
October 22, 2023 14:43 32s
Merge pull request #123 from TashiWalde/right-orthogonal-3 Typecheck with latest Rzk #539: Commit 9ae43c7 pushed by emilyriehl
October 22, 2023 14:43 34s main
main
October 22, 2023 14:43 34s
more on left orthogonal calculus Typecheck with latest Rzk #538: Pull request #123 synchronize by emilyriehl
October 22, 2023 14:41 39s TashiWalde:right-orthogonal-3
TashiWalde:right-orthogonal-3
October 22, 2023 14:41 39s
Fibers between Segal types are Segal Typecheck with latest Rzk #537: Pull request #122 synchronize by emilyriehl
October 22, 2023 14:39 35s TashiWalde:fibers-between-segal
TashiWalde:fibers-between-segal
October 22, 2023 14:39 35s
Merge pull request #128 from aergus/is-equiv-map-of-fibers-is-equiv-m… Typecheck with latest Rzk #536: Commit 2aceb9d pushed by emilyriehl
October 22, 2023 14:36 33s main
main
October 22, 2023 14:36 33s
Equivalences of maps induce equivalences of fibers Typecheck with latest Rzk #535: Pull request #128 synchronize by emilyriehl
October 22, 2023 14:33 36s aergus:is-equiv-map-of-fibers-is-equiv-map-of-maps
aergus:is-equiv-map-of-fibers-is-equiv-map-of-maps
October 22, 2023 14:33 36s
Merge pull request #121 from TashiWalde/clean-up-03 Typecheck with latest Rzk #534: Commit 8d5b0be pushed by emilyriehl
October 22, 2023 14:33 31s main
main
October 22, 2023 14:33 31s
clean up 03-extension-types Typecheck with latest Rzk #533: Pull request #121 synchronize by emilyriehl
October 22, 2023 14:32 34s TashiWalde:clean-up-03
TashiWalde:clean-up-03
October 22, 2023 14:32 34s
begin work on some homotopy coherences Typecheck with latest Rzk #532: Pull request #113 synchronize by emilyriehl
October 22, 2023 14:28 48s htpy-coherence
htpy-coherence
October 22, 2023 14:28 48s
Merge pull request #100 from rzk-lang/formalize-yoneda-embedding Typecheck with latest Rzk #531: Commit fa86297 pushed by emilyriehl
October 22, 2023 14:26 34s main
main
October 22, 2023 14:26 34s
Formalize yoneda embedding Typecheck with latest Rzk #530: Pull request #100 synchronize by emilyriehl
October 22, 2023 00:08 46s formalize-yoneda-embedding
formalize-yoneda-embedding
October 22, 2023 00:08 46s
Merge pull request #127 from rzk-lang/TashiWalde-patch-1 Typecheck with latest Rzk #529: Commit 313ee53 pushed by emilyriehl
October 22, 2023 00:07 39s main
main
October 22, 2023 00:07 39s
typo in the readme Typecheck with latest Rzk #528: Pull request #127 synchronize by emilyriehl
October 22, 2023 00:05 33s TashiWalde-patch-1
TashiWalde-patch-1
October 22, 2023 00:05 33s