Skip to content

Actions: rzk-lang/hottbook

Actions

Build and Deploy MkDocs to GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mkdocs.yml
4 workflow runs
4 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update local typecheck instructions Build and Deploy MkDocs to GitHub Pages #21: Commit 26ce9aa pushed by fizruk
December 13, 2023 23:36 1m 0s main
main
December 13, 2023 23:36 1m 0s
Update navigation in mkdocs.yml Build and Deploy MkDocs to GitHub Pages #20: Commit 8df4839 pushed by fizruk
December 13, 2023 23:33 1m 6s main
main
December 13, 2023 23:33 1m 6s
Merge pull request #14 from rzk-lang/2.4-homotopies-are-equivalences Build and Deploy MkDocs to GitHub Pages #19: Commit 463d91e pushed by fizruk
December 13, 2023 23:24 59s main
main
December 13, 2023 23:24 59s
Merge pull request #16 from rzk-lang/formatting Build and Deploy MkDocs to GitHub Pages #18: Commit 29d735f pushed by aabounegm
December 12, 2023 14:05 1m 1s main
main
December 12, 2023 14:05 1m 1s