Skip to content

Actions: rzk-lang/sHoTT

Actions

File formatting

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
format.yml
261 workflow runs
261 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
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
Merge pull request #143 from thchatzidiamantis/Contractible File formatting #261: Commit 50d8207 pushed by emilyriehl
June 21, 2024 11:24 18s main
main
June 21, 2024 11:24 18s
Update 06-contractible.rzk.md File formatting #260: Pull request #143 synchronize by thchatzidiamantis
June 21, 2024 10:24 19s thchatzidiamantis:Contractible
thchatzidiamantis:Contractible
June 21, 2024 10:24 19s
Update 06-contractible.rzk.md File formatting #256: Pull request #143 synchronize by thchatzidiamantis
June 18, 2024 09:23 21s thchatzidiamantis:Contractible
thchatzidiamantis:Contractible
June 18, 2024 09:23 21s
Update 06-contractible.rzk.md File formatting #255: Pull request #143 synchronize by thchatzidiamantis
June 17, 2024 08:16 22s thchatzidiamantis:Contractible
thchatzidiamantis:Contractible
June 17, 2024 08:16 22s
Update 06-contractible.rzk.md File formatting #252: Pull request #143 opened by thchatzidiamantis
June 16, 2024 14:32 16s thchatzidiamantis:Contractible
thchatzidiamantis:Contractible
June 16, 2024 14:32 16s
Merge pull request #141 from rzk-lang/representable-isos File formatting #251: Commit 33b8fc5 pushed by emilyriehl
December 15, 2023 01:36 17s main
main
December 15, 2023 01:36 17s
Representable isos File formatting #250: Pull request #141 synchronize by emilyriehl
December 15, 2023 00:42 23s representable-isos
representable-isos
December 15, 2023 00:42 23s
Representable isos File formatting #249: Pull request #141 synchronize by emilyriehl
December 15, 2023 00:40 24s representable-isos
representable-isos
December 15, 2023 00:40 24s
Representable isos File formatting #248: Pull request #141 synchronize by emilyriehl
December 15, 2023 00:14 19s representable-isos
representable-isos
December 15, 2023 00:14 19s
Representable isos File formatting #247: Pull request #141 synchronize by emilyriehl
December 15, 2023 00:00 19s representable-isos
representable-isos
December 15, 2023 00:00 19s
Representable isos File formatting #246: Pull request #141 synchronize by fizruk
December 12, 2023 14:12 18s representable-isos
representable-isos
December 12, 2023 14:12 18s
Representable isos File formatting #245: Pull request #141 synchronize by fizruk
December 12, 2023 14:09 20s representable-isos
representable-isos
December 12, 2023 14:09 20s
Merge pull request #142 from rzk-lang/formatting File formatting #244: Commit 296a11b pushed by aabounegm
December 12, 2023 14:05 18s main
main
December 12, 2023 14:05 18s
Auto-format all files File formatting #243: Pull request #142 synchronize by aabounegm
December 12, 2023 13:28 18s formatting
formatting
December 12, 2023 13:28 18s
Auto-format all files File formatting #242: Pull request #142 synchronize by aabounegm
December 5, 2023 14:48 18s formatting
formatting
December 5, 2023 14:48 18s
Auto-format all files File formatting #241: Pull request #142 synchronize by aabounegm
December 5, 2023 14:33 15s formatting
formatting
December 5, 2023 14:33 15s
Representable isos File formatting #240: Pull request #141 synchronize by emilyriehl
December 1, 2023 18:10 17s representable-isos
representable-isos
December 1, 2023 18:10 17s
Merge pull request #135 from StiephenPradal/Discrete-Fibers File formatting #239: Commit 7243b19 pushed by emilyriehl
December 1, 2023 18:09 17s main
main
December 1, 2023 18:09 17s
Representable isos File formatting #238: Pull request #141 synchronize by cesarbm03
November 30, 2023 17:46 18s representable-isos
representable-isos
November 30, 2023 17:46 18s
Representable isos File formatting #237: Pull request #141 synchronize by cesarbm03
November 30, 2023 17:30 14s representable-isos
representable-isos
November 30, 2023 17:30 14s