Skip to content

Actions: rzk-lang/sHoTT

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
376 workflow runs
376 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 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 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 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 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
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
pages build and deployment pages-build-deployment #109: by github-pages bot
June 21, 2024 11:25 37s gh-pages
gh-pages
June 21, 2024 11:25 37s
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
Merge pull request #143 from thchatzidiamantis/Contractible Typecheck with latest Rzk #657: Commit 50d8207 pushed by emilyriehl
June 21, 2024 11:24 38s main
main
June 21, 2024 11:24 38s
Merge pull request #143 from thchatzidiamantis/Contractible Build and Deploy MkDocs to GitHub Pages #110: Commit 50d8207 pushed by emilyriehl
June 21, 2024 11:24 1m 7s main
main
June 21, 2024 11:24 1m 7s
Update 06-contractible.rzk.md Typecheck with latest Rzk #656: Pull request #143 synchronize by thchatzidiamantis
June 21, 2024 10:24 38s thchatzidiamantis:Contractible
thchatzidiamantis:Contractible
June 21, 2024 10:24 38s
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 Typecheck with latest Rzk #652: Pull request #143 synchronize by thchatzidiamantis
June 18, 2024 09:23 39s thchatzidiamantis:Contractible
thchatzidiamantis:Contractible
June 18, 2024 09:23 39s
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 Typecheck with latest Rzk #651: Pull request #143 synchronize by thchatzidiamantis
June 17, 2024 08:16 37s thchatzidiamantis:Contractible
thchatzidiamantis:Contractible
June 17, 2024 08:16 37s
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
Update 06-contractible.rzk.md Typecheck with latest Rzk #648: Pull request #143 opened by thchatzidiamantis
June 16, 2024 14:32 38s thchatzidiamantis:Contractible
thchatzidiamantis:Contractible
June 16, 2024 14:32 38s
pages build and deployment pages-build-deployment #108: by github-pages bot
December 15, 2023 01:37 42s gh-pages
gh-pages
December 15, 2023 01:37 42s
Merge pull request #141 from rzk-lang/representable-isos Build and Deploy MkDocs to GitHub Pages #109: Commit 33b8fc5 pushed by emilyriehl
December 15, 2023 01:36 1m 12s main
main
December 15, 2023 01:36 1m 12s
Merge pull request #141 from rzk-lang/representable-isos Typecheck with latest Rzk #647: Commit 33b8fc5 pushed by emilyriehl
December 15, 2023 01:36 34s main
main
December 15, 2023 01:36 34s
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 Typecheck with latest Rzk #646: Pull request #141 synchronize by emilyriehl
December 15, 2023 00:42 36s representable-isos
representable-isos
December 15, 2023 00:42 36s