Skip to content

Actions: rzk-lang/sHoTT

Actions

Typecheck with latest Rzk

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rzk.yml
400 workflow runs
400 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update index.md Typecheck with latest Rzk #527: Commit 38f3b42 pushed by emilyriehl
October 22, 2023 00:04 40s main
main
October 22, 2023 00:04 40s
Uniqueness of adjunction data Typecheck with latest Rzk #526: Pull request #131 opened by emilyriehl
October 22, 2023 00:00 40s more-adjunctions
more-adjunctions
October 22, 2023 00:00 40s
Functoriality properties of extension types Typecheck with latest Rzk #525: Pull request #130 synchronize by TashiWalde
October 20, 2023 08:30 34s TashiWalde:functoriality-extensions
TashiWalde:functoriality-extensions
October 20, 2023 08:30 34s
Functoriality properties of extension types Typecheck with latest Rzk #524: Pull request #130 synchronize by TashiWalde
October 20, 2023 08:25 34s TashiWalde:functoriality-extensions
TashiWalde:functoriality-extensions
October 20, 2023 08:25 34s
Functoriality properties of extension types Typecheck with latest Rzk #523: Pull request #130 synchronize by TashiWalde
October 19, 2023 22:12 34s TashiWalde:functoriality-extensions
TashiWalde:functoriality-extensions
October 19, 2023 22:12 34s
Functoriality properties of extension types Typecheck with latest Rzk #522: Pull request #130 opened by TashiWalde
October 19, 2023 19:26 38s TashiWalde:functoriality-extensions
TashiWalde:functoriality-extensions
October 19, 2023 19:26 38s
Total fibers are iterated fibers Typecheck with latest Rzk #521: Pull request #129 synchronize by TashiWalde
October 19, 2023 15:05 40s TashiWalde:fiber-products
TashiWalde:fiber-products
October 19, 2023 15:05 40s
Total fibers are iterated fibers Typecheck with latest Rzk #520: Pull request #129 opened by TashiWalde
October 19, 2023 14:59 48s TashiWalde:fiber-products
TashiWalde:fiber-products
October 19, 2023 14:59 48s
Equivalences of maps induce equivalences of fibers Typecheck with latest Rzk #519: Pull request #128 synchronize by aergus
October 18, 2023 15:52 43s aergus:is-equiv-map-of-fibers-is-equiv-map-of-maps
aergus:is-equiv-map-of-fibers-is-equiv-map-of-maps
October 18, 2023 15:52 43s
Equivalences of maps induce equivalences of fibers Typecheck with latest Rzk #518: Pull request #128 opened by aergus
October 18, 2023 07:04 1m 58s aergus:is-equiv-map-of-fibers-is-equiv-map-of-maps
aergus:is-equiv-map-of-fibers-is-equiv-map-of-maps
October 18, 2023 07:04 1m 58s
typo in the readme Typecheck with latest Rzk #517: Pull request #127 opened by TashiWalde
October 16, 2023 21:55 32s TashiWalde-patch-1
TashiWalde-patch-1
October 16, 2023 21:55 32s
Anodyne shape inclusions Typecheck with latest Rzk #516: Pull request #126 opened by TashiWalde
October 16, 2023 21:50 36s TashiWalde:anodyne
TashiWalde:anodyne
October 16, 2023 21:50 36s
colimits are unique up to isomorphism Typecheck with latest Rzk #515: Pull request #125 opened by cesarbm03
October 16, 2023 17:19 46s uniqueness-colimits
uniqueness-colimits
October 16, 2023 17:19 46s
clean up 03-extension-types Typecheck with latest Rzk #514: Pull request #121 synchronize by TashiWalde
October 16, 2023 13:04 36s TashiWalde:clean-up-03
TashiWalde:clean-up-03
October 16, 2023 13:04 36s
Merge pull request #124 from TashiWalde/clean-up-08 Typecheck with latest Rzk #513: Commit 8ca88c6 pushed by TashiWalde
October 16, 2023 12:50 43s main
main
October 16, 2023 12:50 43s
Clean up 08-family-of-maps Typecheck with latest Rzk #512: Pull request #124 synchronize by TashiWalde
October 16, 2023 12:25 45s TashiWalde:clean-up-08
TashiWalde:clean-up-08
October 16, 2023 12:25 45s
Clean up 08-family-of-maps Typecheck with latest Rzk #511: Pull request #124 opened by TashiWalde
October 16, 2023 12:20 36s TashiWalde:clean-up-08
TashiWalde:clean-up-08
October 16, 2023 12:20 36s
begin work on some homotopy coherences Typecheck with latest Rzk #510: Pull request #113 synchronize by jonalfcam
October 15, 2023 19:33 36s htpy-coherence
htpy-coherence
October 15, 2023 19:33 36s
more on left orthogonal calculus Typecheck with latest Rzk #509: Pull request #123 opened by TashiWalde
October 15, 2023 18:37 37s TashiWalde:right-orthogonal-3
TashiWalde:right-orthogonal-3
October 15, 2023 18:37 37s
begin work on some homotopy coherences Typecheck with latest Rzk #508: Pull request #113 synchronize by jonalfcam
October 15, 2023 14:58 32s htpy-coherence
htpy-coherence
October 15, 2023 14:58 32s
begin work on some homotopy coherences Typecheck with latest Rzk #507: Pull request #113 synchronize by jonalfcam
October 15, 2023 14:54 33s htpy-coherence
htpy-coherence
October 15, 2023 14:54 33s
begin work on some homotopy coherences Typecheck with latest Rzk #506: Pull request #113 synchronize by jonalfcam
October 15, 2023 14:51 46s htpy-coherence
htpy-coherence
October 15, 2023 14:51 46s
begin work on some homotopy coherences Typecheck with latest Rzk #505: Pull request #113 synchronize by jonalfcam
October 15, 2023 14:50 36s htpy-coherence
htpy-coherence
October 15, 2023 14:50 36s
begin work on some homotopy coherences Typecheck with latest Rzk #504: Pull request #113 synchronize by jonalfcam
October 15, 2023 04:34 33s htpy-coherence
htpy-coherence
October 15, 2023 04:34 33s
begin work on some homotopy coherences Typecheck with latest Rzk #503: Pull request #113 synchronize by jonalfcam
October 15, 2023 03:49 36s htpy-coherence
htpy-coherence
October 15, 2023 03:49 36s