Skip to content

Actions: rzk-lang/sHoTT

Actions

Typecheck with latest Rzk

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rzk.yml
513 workflow runs
513 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update contributors Typecheck with latest Rzk #682: Commit 29771d1 pushed by emilyriehl
October 2, 2024 22:14 1m 2s main
main
October 2, 2024 22:14 1m 2s
Merge pull request #149 from robin-carlier/representables Typecheck with latest Rzk #681: Commit 319b48d pushed by emilyriehl
October 2, 2024 22:12 1m 5s main
main
October 2, 2024 22:12 1m 5s
RS17, Proposition 9.10. Typecheck with latest Rzk #680: Pull request #149 synchronize by robin-carlier
October 1, 2024 07:27 1m 2s robin-carlier:representables
robin-carlier:representables
October 1, 2024 07:27 1m 2s
RS17, Proposition 9.10. Typecheck with latest Rzk #679: Pull request #149 synchronize by robin-carlier
September 30, 2024 19:44 1m 5s robin-carlier:representables
robin-carlier:representables
September 30, 2024 19:44 1m 5s
RS17, Proposition 9.10. Typecheck with latest Rzk #678: Pull request #149 synchronize by robin-carlier
September 29, 2024 14:02 1m 5s robin-carlier:representables
robin-carlier:representables
September 29, 2024 14:02 1m 5s
RS17, Proposition 9.10. Typecheck with latest Rzk #677: Pull request #149 opened by robin-carlier
September 23, 2024 08:30 1m 10s robin-carlier:representables
robin-carlier:representables
September 23, 2024 08:30 1m 10s
Merge pull request #148 from rzk-lang/Fix-link Typecheck with latest Rzk #676: Commit 873a017 pushed by fizruk
August 27, 2024 06:33 1m 7s main
main
August 27, 2024 06:33 1m 7s
Update README.md Typecheck with latest Rzk #675: Pull request #148 opened by nimarasekh
August 26, 2024 10:08 1m 3s Fix-link
Fix-link
August 26, 2024 10:08 1m 3s
Generalized proofs of [RS17, Cor. 5.6] Typecheck with latest Rzk #674: Pull request #147 opened by thchatzidiamantis
July 30, 2024 10:50 41s thchatzidiamantis:Shapes
thchatzidiamantis:Shapes
July 30, 2024 10:50 41s
Merge pull request #145 from thchatzidiamantis/Contractible Typecheck with latest Rzk #673: Commit 436ceb5 pushed by emilyriehl
July 30, 2024 09:52 36s main
main
July 30, 2024 09:52 36s
Weak FunExt implies FunExt Typecheck with latest Rzk #672: Pull request #145 synchronize by emilyriehl
July 30, 2024 09:50 35s thchatzidiamantis:Contractible
thchatzidiamantis:Contractible
July 30, 2024 09:50 35s
Weak FunExt implies FunExt Typecheck with latest Rzk #671: Pull request #145 synchronize by thchatzidiamantis
July 25, 2024 14:45 44s thchatzidiamantis:Contractible
thchatzidiamantis:Contractible
July 25, 2024 14:45 44s
Weak FunExt implies FunExt Typecheck with latest Rzk #670: Pull request #145 synchronize by emilyriehl
July 25, 2024 11:31 35s thchatzidiamantis:Contractible
thchatzidiamantis:Contractible
July 25, 2024 11:31 35s
Weak FunExt implies FunExt Typecheck with latest Rzk #669: Pull request #145 synchronize by thchatzidiamantis
July 23, 2024 06:38 42s thchatzidiamantis:Contractible
thchatzidiamantis:Contractible
July 23, 2024 06:38 42s
Weak FunExt implies FunExt Typecheck with latest Rzk #668: Pull request #145 synchronize by thchatzidiamantis
July 23, 2024 06:31 39s thchatzidiamantis:Contractible
thchatzidiamantis:Contractible
July 23, 2024 06:31 39s
Weak FunExt implies FunExt Typecheck with latest Rzk #667: Pull request #145 synchronize by thchatzidiamantis
July 23, 2024 06:25 40s thchatzidiamantis:Contractible
thchatzidiamantis:Contractible
July 23, 2024 06:25 40s
Weak FunExt implies FunExt Typecheck with latest Rzk #666: Pull request #145 opened by thchatzidiamantis
July 22, 2024 20:26 36s thchatzidiamantis:Contractible
thchatzidiamantis:Contractible
July 22, 2024 20:26 36s
Merge pull request #144 from thchatzidiamantis/dcomp Typecheck with latest Rzk #665: Commit 352c301 pushed by emilyriehl
July 16, 2024 13:07 40s main
main
July 16, 2024 13:07 40s
Dependent Composition Typecheck with latest Rzk #664: Pull request #144 synchronize by thchatzidiamantis
July 15, 2024 17:52 42s thchatzidiamantis:dcomp
thchatzidiamantis:dcomp
July 15, 2024 17:52 42s
Dependent Composition Typecheck with latest Rzk #663: Pull request #144 synchronize by emilyriehl
July 14, 2024 16:07 37s thchatzidiamantis:dcomp
thchatzidiamantis:dcomp
July 14, 2024 16:07 37s
Dependent Composition Typecheck with latest Rzk #662: Pull request #144 synchronize by thchatzidiamantis
July 12, 2024 10:54 36s thchatzidiamantis:dcomp
thchatzidiamantis:dcomp
July 12, 2024 10:54 36s
Dependent Composition Typecheck with latest Rzk #661: Pull request #144 synchronize by thchatzidiamantis
June 21, 2024 19:59 42s thchatzidiamantis:dcomp
thchatzidiamantis:dcomp
June 21, 2024 19:59 42s
Dependent Composition Typecheck with latest Rzk #660: Pull request #144 synchronize by thchatzidiamantis
June 21, 2024 15:41 41s thchatzidiamantis:dcomp
thchatzidiamantis:dcomp
June 21, 2024 15:41 41s
Dependent Composition Typecheck with latest Rzk #659: Pull request #144 reopened by thchatzidiamantis
June 21, 2024 15:33 37s thchatzidiamantis:dcomp
thchatzidiamantis:dcomp
June 21, 2024 15:33 37s
Dependent Composition Typecheck with latest Rzk #658: Pull request #144 opened by thchatzidiamantis
June 21, 2024 15:30 40s thchatzidiamantis:dcomp
thchatzidiamantis:dcomp
June 21, 2024 15:30 40s