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

Anodyne shape inclusions Typecheck with latest Rzk #548: Pull request #126 synchronize by TashiWalde
October 23, 2023 10:34 46s TashiWalde:anodyne
TashiWalde:anodyne
October 23, 2023 10:34 46s
Anodyne shape inclusions File formatting #152: Pull request #126 synchronize by TashiWalde
October 23, 2023 10:34 22s TashiWalde:anodyne
TashiWalde:anodyne
October 23, 2023 10:34 22s
Uniqueness of adjunction data Typecheck with latest Rzk #547: Pull request #131 synchronize by emilyriehl
October 23, 2023 00:58 36s more-adjunctions
more-adjunctions
October 23, 2023 00:58 36s
Uniqueness of adjunction data File formatting #151: Pull request #131 synchronize by emilyriehl
October 23, 2023 00:58 20s more-adjunctions
more-adjunctions
October 23, 2023 00:58 20s
Embeddings and propositional fibers Typecheck with latest Rzk #546: Pull request #132 opened by emilyriehl
October 23, 2023 00:51 17s all-elements-equal-subtype
all-elements-equal-subtype
October 23, 2023 00:51 17s
Embeddings and propositional fibers File formatting #150: Pull request #132 opened by emilyriehl
October 23, 2023 00:51 18s all-elements-equal-subtype
all-elements-equal-subtype
October 23, 2023 00:51 18s
pages build and deployment pages-build-deployment #92: by github-pages bot
October 22, 2023 18:31 50s gh-pages
gh-pages
October 22, 2023 18:31 50s
Merge pull request #122 from TashiWalde/fibers-between-segal File formatting #149: Commit ca85956 pushed by emilyriehl
October 22, 2023 18:29 16s main
main
October 22, 2023 18:29 16s
Merge pull request #122 from TashiWalde/fibers-between-segal Typecheck with latest Rzk #545: Commit ca85956 pushed by emilyriehl
October 22, 2023 18:29 32s main
main
October 22, 2023 18:29 32s
Merge pull request #122 from TashiWalde/fibers-between-segal Build and Deploy MkDocs to GitHub Pages #93: Commit ca85956 pushed by emilyriehl
October 22, 2023 18:29 1m 53s main
main
October 22, 2023 18:29 1m 53s
Fibers between Segal types are Segal Typecheck with latest Rzk #544: Pull request #122 synchronize by emilyriehl
October 22, 2023 18:28 33s TashiWalde:fibers-between-segal
TashiWalde:fibers-between-segal
October 22, 2023 18:28 33s
Fibers between Segal types are Segal File formatting #148: Pull request #122 synchronize by emilyriehl
October 22, 2023 18:28 15s TashiWalde:fibers-between-segal
TashiWalde:fibers-between-segal
October 22, 2023 18:28 15s
pages build and deployment pages-build-deployment #91: by github-pages bot
October 22, 2023 14:59 51s gh-pages
gh-pages
October 22, 2023 14:59 51s
Uniqueness of adjunction data File formatting #147: Pull request #131 synchronize by emilyriehl
October 22, 2023 14:59 14s more-adjunctions
more-adjunctions
October 22, 2023 14:59 14s
Uniqueness of adjunction data Typecheck with latest Rzk #543: Pull request #131 synchronize by emilyriehl
October 22, 2023 14:59 51s more-adjunctions
more-adjunctions
October 22, 2023 14:59 51s
Merge pull request #125 from rzk-lang/uniqueness-colimits Typecheck with latest Rzk #542: Commit 3517851 pushed by emilyriehl
October 22, 2023 14:58 33s main
main
October 22, 2023 14:58 33s
Merge pull request #125 from rzk-lang/uniqueness-colimits Build and Deploy MkDocs to GitHub Pages #92: Commit 3517851 pushed by emilyriehl
October 22, 2023 14:58 1m 27s main
main
October 22, 2023 14:58 1m 27s
Merge pull request #125 from rzk-lang/uniqueness-colimits File formatting #146: Commit 3517851 pushed by emilyriehl
October 22, 2023 14:58 19s main
main
October 22, 2023 14:58 19s
colimits are unique up to isomorphism File formatting #145: Pull request #125 synchronize by emilyriehl
October 22, 2023 14:56 20s uniqueness-colimits
uniqueness-colimits
October 22, 2023 14:56 20s
colimits are unique up to isomorphism Typecheck with latest Rzk #541: Pull request #125 synchronize by emilyriehl
October 22, 2023 14:56 37s uniqueness-colimits
uniqueness-colimits
October 22, 2023 14:56 37s
pages build and deployment pages-build-deployment #90: by github-pages bot
October 22, 2023 14:45 48s gh-pages
gh-pages
October 22, 2023 14:45 48s
colimits are unique up to isomorphism File formatting #144: Pull request #125 synchronize by emilyriehl
October 22, 2023 14:43 15s uniqueness-colimits
uniqueness-colimits
October 22, 2023 14:43 15s
colimits are unique up to isomorphism Typecheck with latest Rzk #540: Pull request #125 synchronize by emilyriehl
October 22, 2023 14:43 32s uniqueness-colimits
uniqueness-colimits
October 22, 2023 14:43 32s
Merge pull request #123 from TashiWalde/right-orthogonal-3 Build and Deploy MkDocs to GitHub Pages #91: Commit 9ae43c7 pushed by emilyriehl
October 22, 2023 14:43 1m 41s main
main
October 22, 2023 14:43 1m 41s
Merge pull request #123 from TashiWalde/right-orthogonal-3 File formatting #143: Commit 9ae43c7 pushed by emilyriehl
October 22, 2023 14:43 18s main
main
October 22, 2023 14:43 18s
ProTip! You can narrow down the results and go further in time using created:<2023-10-22 or the other filters available.