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

Third definition added Typecheck with latest Rzk #300: Commit bd09daa pushed by cesarbm03
October 3, 2023 19:49 33s limits-colimits-2
limits-colimits-2
October 3, 2023 19:49 33s
New proof that equivalences are contractible maps using fiber induction Typecheck with latest Rzk #299: Pull request #84 synchronize by emilyriehl
October 3, 2023 13:56 35s fib-ind
fib-ind
October 3, 2023 13:56 35s
Merge branch 'main' into fib-ind Typecheck with latest Rzk #298: Commit 247d51b pushed by emilyriehl
October 3, 2023 13:55 44s fib-ind
fib-ind
October 3, 2023 13:55 44s
Merge pull request #76 from TashiWalde/extension-fibrations Typecheck with latest Rzk #297: Commit 06bfaad pushed by emilyriehl
October 3, 2023 13:55 43s main
main
October 3, 2023 13:55 43s
Isomorphism extensionality Typecheck with latest Rzk #296: Pull request #85 synchronize by emilyriehl
October 3, 2023 01:23 32s dvmcarpena:iso-extensionality
dvmcarpena:iso-extensionality
October 3, 2023 01:23 32s
functorial instance of cofibration-composition Typecheck with latest Rzk #295: Pull request #79 synchronize by emilyriehl
October 3, 2023 01:23 35s TashiWalde:functorial-instance
TashiWalde:functorial-instance
October 3, 2023 01:23 35s
Right orthogonal fibrations Typecheck with latest Rzk #294: Pull request #76 synchronize by emilyriehl
October 3, 2023 01:22 37s TashiWalde:extension-fibrations
TashiWalde:extension-fibrations
October 3, 2023 01:22 37s
Merge pull request #74 from MatthiasHu/weakfunext-vs-funext Typecheck with latest Rzk #293: Commit 5e8843c pushed by emilyriehl
October 3, 2023 01:22 32s main
main
October 3, 2023 01:22 32s
first part of RS17, proposition 5.16 Typecheck with latest Rzk #292: Commit 3696694 pushed by kyoDralliam
October 2, 2023 14:45 35s 3d-horn-filling
3d-horn-filling
October 2, 2023 14:45 35s
FunExt implies WeakFunExt Typecheck with latest Rzk #291: Pull request #74 synchronize by jonweinb
October 2, 2023 11:52 32s MatthiasHu:weakfunext-vs-funext
MatthiasHu:weakfunext-vs-funext
October 2, 2023 11:52 32s
Isomorphism extensionality Typecheck with latest Rzk #290: Pull request #85 synchronize by dvmcarpena
October 2, 2023 09:27 35s dvmcarpena:iso-extensionality
dvmcarpena:iso-extensionality
October 2, 2023 09:27 35s
FunExt implies WeakFunExt Typecheck with latest Rzk #289: Pull request #74 synchronize by MatthiasHu
October 2, 2023 07:09 35s MatthiasHu:weakfunext-vs-funext
MatthiasHu:weakfunext-vs-funext
October 2, 2023 07:09 35s
Isomorphism extensionality Typecheck with latest Rzk #288: Pull request #85 synchronize by dvmcarpena
October 1, 2023 17:37 29s dvmcarpena:iso-extensionality
dvmcarpena:iso-extensionality
October 1, 2023 17:37 29s
Isomorphism extensionality Typecheck with latest Rzk #287: Pull request #85 opened by dvmcarpena
October 1, 2023 17:36 47s dvmcarpena:iso-extensionality
dvmcarpena:iso-extensionality
October 1, 2023 17:36 47s
New proof that equivalences are contractible maps using fiber induction Typecheck with latest Rzk #286: Pull request #84 opened by emilyriehl
October 1, 2023 13:30 32s fib-ind
fib-ind
October 1, 2023 13:30 32s
Merge remote-tracking branch 'origin/main' into fib-ind Typecheck with latest Rzk #285: Commit 17509d9 pushed by emilyriehl
October 1, 2023 13:27 29s fib-ind
fib-ind
October 1, 2023 13:27 29s
Merge pull request #70 from rzk-lang/weak-ext-ext Typecheck with latest Rzk #284: Commit 9ec8630 pushed by emilyriehl
October 1, 2023 13:26 28s main
main
October 1, 2023 13:26 28s
Weak ext ext Typecheck with latest Rzk #283: Pull request #70 synchronize by jonalfcam
October 1, 2023 11:37 39s weak-ext-ext
weak-ext-ext
October 1, 2023 11:37 39s
fixed merge issue Typecheck with latest Rzk #282: Commit dbd20ff pushed by jonalfcam
October 1, 2023 11:37 43s weak-ext-ext
weak-ext-ext
October 1, 2023 11:37 43s
FunExt implies WeakFunExt Typecheck with latest Rzk #265: Pull request #74 synchronize by MatthiasHu
September 29, 2023 10:28 36s MatthiasHu:weakfunext-vs-funext
MatthiasHu:weakfunext-vs-funext
September 29, 2023 10:28 36s
ProTip! You can narrow down the results and go further in time using created:<2023-09-29 or the other filters available.