Skip to content

Actions: rzk-lang/sHoTT

Actions

Typecheck with latest Rzk

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rzk.yml
643 workflow runs
643 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Merge pull request #138 from TashiWalde/right-orthogonal-calculus Typecheck with latest Rzk #607: Commit 0c29f83 pushed by emilyriehl
November 11, 2023 03:28 37s main
main
November 11, 2023 03:28 37s
Reorganize proof that discrete types are Segal Typecheck with latest Rzk #606: Pull request #137 synchronize by TashiWalde
November 10, 2023 17:09 40s TashiWalde:left-anodyne
TashiWalde:left-anodyne
November 10, 2023 17:09 40s
Discrete fibers Cor. 8.20 RS17 Typecheck with latest Rzk #605: Pull request #135 synchronize by StiephenPradal
November 10, 2023 13:25 33s StiephenPradal:Discrete-Fibers
StiephenPradal:Discrete-Fibers
November 10, 2023 13:25 33s
Functorial isomorphism of shape inclusions Typecheck with latest Rzk #604: Pull request #138 synchronize by emilyriehl
November 10, 2023 02:11 38s TashiWalde:right-orthogonal-calculus
TashiWalde:right-orthogonal-calculus
November 10, 2023 02:11 38s
Merge pull request #136 from TashiWalde/is-rezk-Unit Typecheck with latest Rzk #603: Commit 74c9726 pushed by emilyriehl
November 10, 2023 02:08 48s main
main
November 10, 2023 02:08 48s
Functorial isomorphism of shape inclusions Typecheck with latest Rzk #602: Pull request #138 synchronize by TashiWalde
November 9, 2023 22:25 31s TashiWalde:right-orthogonal-calculus
TashiWalde:right-orthogonal-calculus
November 9, 2023 22:25 31s
Functorial isomorphism of shape inclusions Typecheck with latest Rzk #601: Pull request #138 opened by TashiWalde
November 9, 2023 22:23 34s TashiWalde:right-orthogonal-calculus
TashiWalde:right-orthogonal-calculus
November 9, 2023 22:23 34s
Reorganize proof that discrete types are Segal Typecheck with latest Rzk #600: Pull request #137 synchronize by TashiWalde
November 9, 2023 17:46 46s TashiWalde:left-anodyne
TashiWalde:left-anodyne
November 9, 2023 17:46 46s
discrete and contractible types are Rezk Typecheck with latest Rzk #599: Pull request #136 synchronize by TashiWalde
November 9, 2023 16:07 44s TashiWalde:is-rezk-Unit
TashiWalde:is-rezk-Unit
November 9, 2023 16:07 44s
discrete and contractible types are Rezk Typecheck with latest Rzk #598: Pull request #136 synchronize by emilyriehl
November 9, 2023 16:02 23s TashiWalde:is-rezk-Unit
TashiWalde:is-rezk-Unit
November 9, 2023 16:02 23s
Reorganize proof that discrete types are Segal Typecheck with latest Rzk #597: Pull request #137 synchronize by TashiWalde
November 9, 2023 16:00 49s TashiWalde:left-anodyne
TashiWalde:left-anodyne
November 9, 2023 16:00 49s
Reorganize proof that discrete types are Segal Typecheck with latest Rzk #596: Pull request #137 opened by TashiWalde
November 9, 2023 15:55 35s TashiWalde:left-anodyne
TashiWalde:left-anodyne
November 9, 2023 15:55 35s
discrete and contractible types are Rezk Typecheck with latest Rzk #595: Pull request #136 opened by TashiWalde
November 9, 2023 13:19 21s TashiWalde:is-rezk-Unit
TashiWalde:is-rezk-Unit
November 9, 2023 13:19 21s
Discrete fibers Cor. 8.20 RS17 Typecheck with latest Rzk #594: Pull request #135 synchronize by emilyriehl
November 4, 2023 00:23 33s StiephenPradal:Discrete-Fibers
StiephenPradal:Discrete-Fibers
November 4, 2023 00:23 33s
Discrete fibers Cor. 8.20 RS17 Typecheck with latest Rzk #593: Pull request #135 synchronize by emilyriehl
November 4, 2023 00:22 41s StiephenPradal:Discrete-Fibers
StiephenPradal:Discrete-Fibers
November 4, 2023 00:22 41s
Discrete fibers Cor. 8.20 RS17 Typecheck with latest Rzk #592: Pull request #135 synchronize by emilyriehl
November 4, 2023 00:04 43s StiephenPradal:Discrete-Fibers
StiephenPradal:Discrete-Fibers
November 4, 2023 00:04 43s
Merge pull request #126 from TashiWalde/anodyne Typecheck with latest Rzk #591: Commit 97a439f pushed by emilyriehl
November 4, 2023 00:03 44s main
main
November 4, 2023 00:03 44s
Anodyne shape inclusions Typecheck with latest Rzk #590: Pull request #126 synchronize by TashiWalde
October 30, 2023 10:24 40s TashiWalde:anodyne
TashiWalde:anodyne
October 30, 2023 10:24 40s
Merge pull request #132 from rzk-lang/all-elements-equal-subtype Typecheck with latest Rzk #589: Commit ea04084 pushed by emilyriehl
October 27, 2023 17:09 55s main
main
October 27, 2023 17:09 55s
Embeddings and propositional fibers Typecheck with latest Rzk #588: Pull request #132 synchronize by emilyriehl
October 27, 2023 17:06 39s all-elements-equal-subtype
all-elements-equal-subtype
October 27, 2023 17:06 39s
Merge pull request #131 from rzk-lang/more-adjunctions Typecheck with latest Rzk #587: Commit 5017767 pushed by emilyriehl
October 27, 2023 17:06 48s main
main
October 27, 2023 17:06 48s
Uniqueness of adjunction data Typecheck with latest Rzk #586: Pull request #131 synchronize by emilyriehl
October 27, 2023 17:04 41s more-adjunctions
more-adjunctions
October 27, 2023 17:04 41s
Merge pull request #113 from rzk-lang/htpy-coherence Typecheck with latest Rzk #585: Commit 4de9a7a pushed by emilyriehl
October 27, 2023 17:04 36s main
main
October 27, 2023 17:04 36s
begin work on some homotopy coherences Typecheck with latest Rzk #584: Pull request #113 synchronize by emilyriehl
October 27, 2023 16:37 36s htpy-coherence
htpy-coherence
October 27, 2023 16:37 36s
Discrete fibers Cor. 8.20 RS17 Typecheck with latest Rzk #583: Pull request #135 opened by StiephenPradal
October 27, 2023 14:36 42s StiephenPradal:Discrete-Fibers
StiephenPradal:Discrete-Fibers
October 27, 2023 14:36 42s