Skip to content

Actions: rzk-lang/sHoTT

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
92 workflow runs
92 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Ignore octave-workspace Typecheck with latest Rzk #732: Commit 2d331db pushed by fizruk
1m 3s main
main
1m 3s
Ignore octave-workspace File formatting #336: Commit 2d331db pushed by fizruk
21s main
main
21s
pages build and deployment pages-build-deployment #117: by github-pages bot
40s gh-pages
gh-pages
40s
Formalize Proposition 10.9 (when X is a type) Typecheck with latest Rzk #731: Pull request #157 synchronize by fizruk
1m 4s is-rezk-function-type
is-rezk-function-type
1m 4s
Formalize Proposition 10.9 (when X is a type) File formatting #335: Pull request #157 synchronize by fizruk
17s is-rezk-function-type
is-rezk-function-type
17s
Merge pull request #153 from rzk-lang/cocart File formatting #334: Commit 0a6f183 pushed by fizruk
18s main
main
18s
Merge pull request #153 from rzk-lang/cocart Build and Deploy MkDocs to GitHub Pages #118: Commit 0a6f183 pushed by fizruk
1m 9s main
main
1m 9s
Merge pull request #153 from rzk-lang/cocart Typecheck with latest Rzk #730: Commit 0a6f183 pushed by fizruk
57s main
main
57s
Added dependent composition for (iso)inner families Typecheck with latest Rzk #729: Pull request #153 synchronize by fizruk
1m 2s cocart
cocart
1m 2s
Added dependent composition for (iso)inner families File formatting #333: Pull request #153 synchronize by fizruk
19s cocart
cocart
19s
Added dependent composition for (iso)inner families Typecheck with latest Rzk #728: Pull request #153 synchronize by fizruk
1m 7s cocart
cocart
1m 7s
Added dependent composition for (iso)inner families File formatting #332: Pull request #153 synchronize by fizruk
12s cocart
cocart
12s
Added dependent composition for (iso)inner families File formatting #331: Pull request #153 synchronize by fizruk
18s cocart
cocart
18s
Added dependent composition for (iso)inner families Typecheck with latest Rzk #727: Pull request #153 synchronize by fizruk
59s cocart
cocart
59s
pages build and deployment pages-build-deployment #116: by github-pages bot
38s gh-pages
gh-pages
38s
Fix a minor typo from #147 Typecheck with latest Rzk #726: Commit 3948acc pushed by fizruk
1m 5s main
main
1m 5s
Fix a minor typo from #147 Build and Deploy MkDocs to GitHub Pages #117: Commit 3948acc pushed by fizruk
1m 12s main
main
1m 12s
Fix a minor typo from #147 File formatting #330: Commit 3948acc pushed by fizruk
21s main
main
21s
Added dependent composition for (iso)inner families Typecheck with latest Rzk #725: Pull request #153 synchronize by fizruk
1m 5s cocart
cocart
1m 5s
Added dependent composition for (iso)inner families File formatting #329: Pull request #153 synchronize by fizruk
19s cocart
cocart
19s
pages build and deployment pages-build-deployment #115: by github-pages bot
43s gh-pages
gh-pages
43s
Merge pull request #147 from thchatzidiamantis/Shapes File formatting #328: Commit b17e91c pushed by fizruk
19s main
main
19s
Merge pull request #147 from thchatzidiamantis/Shapes Build and Deploy MkDocs to GitHub Pages #116: Commit b17e91c pushed by fizruk
1m 6s main
main
1m 6s
Merge pull request #147 from thchatzidiamantis/Shapes Typecheck with latest Rzk #724: Commit b17e91c pushed by fizruk
1m 4s main
main
1m 4s
Generalized proofs of [RS17, Cor. 5.6] File formatting #327: Pull request #147 synchronize by fizruk
15s thchatzidiamantis:Shapes
thchatzidiamantis:Shapes
15s