Skip to content

Actions: rzk-lang/sHoTT

Actions

File formatting

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
format.yml
281 workflow runs
281 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update contributors File formatting #286: Commit 29771d1 pushed by emilyriehl
October 2, 2024 22:14 19s main
main
October 2, 2024 22:14 19s
Merge pull request #149 from robin-carlier/representables File formatting #285: Commit 319b48d pushed by emilyriehl
October 2, 2024 22:12 22s main
main
October 2, 2024 22:12 22s
RS17, Proposition 9.10. File formatting #284: Pull request #149 synchronize by robin-carlier
October 1, 2024 07:27 20s robin-carlier:representables
robin-carlier:representables
October 1, 2024 07:27 20s
RS17, Proposition 9.10. File formatting #283: Pull request #149 synchronize by robin-carlier
September 30, 2024 19:44 22s robin-carlier:representables
robin-carlier:representables
September 30, 2024 19:44 22s
RS17, Proposition 9.10. File formatting #282: Pull request #149 synchronize by robin-carlier
September 29, 2024 14:02 19s robin-carlier:representables
robin-carlier:representables
September 29, 2024 14:02 19s
RS17, Proposition 9.10. File formatting #281: Pull request #149 opened by robin-carlier
September 23, 2024 08:30 25s robin-carlier:representables
robin-carlier:representables
September 23, 2024 08:30 25s
Merge pull request #148 from rzk-lang/Fix-link File formatting #280: Commit 873a017 pushed by fizruk
August 27, 2024 06:33 26s main
main
August 27, 2024 06:33 26s
Update README.md File formatting #279: Pull request #148 opened by nimarasekh
August 26, 2024 10:08 24s Fix-link
Fix-link
August 26, 2024 10:08 24s
Generalized proofs of [RS17, Cor. 5.6] File formatting #278: Pull request #147 opened by thchatzidiamantis
July 30, 2024 10:50 22s thchatzidiamantis:Shapes
thchatzidiamantis:Shapes
July 30, 2024 10:50 22s
Merge pull request #145 from thchatzidiamantis/Contractible File formatting #277: Commit 436ceb5 pushed by emilyriehl
July 30, 2024 09:52 19s main
main
July 30, 2024 09:52 19s
Weak FunExt implies FunExt File formatting #276: Pull request #145 synchronize by emilyriehl
July 30, 2024 09:50 19s thchatzidiamantis:Contractible
thchatzidiamantis:Contractible
July 30, 2024 09:50 19s
Weak FunExt implies FunExt File formatting #275: Pull request #145 synchronize by thchatzidiamantis
July 25, 2024 14:45 24s thchatzidiamantis:Contractible
thchatzidiamantis:Contractible
July 25, 2024 14:45 24s
Weak FunExt implies FunExt File formatting #274: Pull request #145 synchronize by emilyriehl
July 25, 2024 11:31 16s thchatzidiamantis:Contractible
thchatzidiamantis:Contractible
July 25, 2024 11:31 16s
Weak FunExt implies FunExt File formatting #273: Pull request #145 synchronize by thchatzidiamantis
July 23, 2024 06:38 26s thchatzidiamantis:Contractible
thchatzidiamantis:Contractible
July 23, 2024 06:38 26s
Weak FunExt implies FunExt File formatting #272: Pull request #145 synchronize by thchatzidiamantis
July 23, 2024 06:31 24s thchatzidiamantis:Contractible
thchatzidiamantis:Contractible
July 23, 2024 06:31 24s
Weak FunExt implies FunExt File formatting #271: Pull request #145 synchronize by thchatzidiamantis
July 23, 2024 06:25 32s thchatzidiamantis:Contractible
thchatzidiamantis:Contractible
July 23, 2024 06:25 32s
Weak FunExt implies FunExt File formatting #270: Pull request #145 opened by thchatzidiamantis
July 22, 2024 20:26 20s thchatzidiamantis:Contractible
thchatzidiamantis:Contractible
July 22, 2024 20:26 20s
Merge pull request #144 from thchatzidiamantis/dcomp File formatting #269: Commit 352c301 pushed by emilyriehl
July 16, 2024 13:07 19s main
main
July 16, 2024 13:07 19s
Dependent Composition File formatting #268: Pull request #144 synchronize by thchatzidiamantis
July 15, 2024 17:52 42s thchatzidiamantis:dcomp
thchatzidiamantis:dcomp
July 15, 2024 17:52 42s
Dependent Composition File formatting #267: Pull request #144 synchronize by emilyriehl
July 14, 2024 16:07 19s thchatzidiamantis:dcomp
thchatzidiamantis:dcomp
July 14, 2024 16:07 19s
Dependent Composition File formatting #266: Pull request #144 synchronize by thchatzidiamantis
July 12, 2024 10:54 19s thchatzidiamantis:dcomp
thchatzidiamantis:dcomp
July 12, 2024 10:54 19s
Dependent Composition File formatting #265: Pull request #144 synchronize by thchatzidiamantis
June 21, 2024 19:59 23s thchatzidiamantis:dcomp
thchatzidiamantis:dcomp
June 21, 2024 19:59 23s
Dependent Composition File formatting #264: Pull request #144 synchronize by thchatzidiamantis
June 21, 2024 15:41 22s thchatzidiamantis:dcomp
thchatzidiamantis:dcomp
June 21, 2024 15:41 22s
Dependent Composition File formatting #263: Pull request #144 reopened by thchatzidiamantis
June 21, 2024 15:33 23s thchatzidiamantis:dcomp
thchatzidiamantis:dcomp
June 21, 2024 15:33 23s
Dependent Composition File formatting #262: Pull request #144 opened by thchatzidiamantis
June 21, 2024 15:30 24s thchatzidiamantis:dcomp
thchatzidiamantis:dcomp
June 21, 2024 15:30 24s