Skip to content

Actions: rzk-lang/hottbook

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
181 workflow runs
181 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix Rzk typecheck job, use v1 for rzk-action Check with latest Rzk #142: Commit 75b3ff0 pushed by fizruk
December 15, 2023 22:01 16s main
main
December 15, 2023 22:01 16s
pages build and deployment pages-build-deployment #18: by github-pages bot
December 13, 2023 23:37 48s
December 13, 2023 23:37 48s
Update local typecheck instructions Check with latest Rzk #141: Commit 26ce9aa pushed by fizruk
December 13, 2023 23:36 14s main
main
December 13, 2023 23:36 14s
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
pages build and deployment pages-build-deployment #17: by github-pages bot
December 13, 2023 23:34 45s
December 13, 2023 23:34 45s
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
Update navigation in mkdocs.yml Check with latest Rzk #140: Commit 8df4839 pushed by fizruk
December 13, 2023 23:33 16s main
main
December 13, 2023 23:33 16s
pages build and deployment pages-build-deployment #16: by github-pages bot
December 13, 2023 23:25 42s
December 13, 2023 23:25 42s
Merge pull request #14 from rzk-lang/2.4-homotopies-are-equivalences Check with latest Rzk #139: Commit 463d91e pushed by fizruk
December 13, 2023 23:24 21s main
main
December 13, 2023 23:24 21s
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
Homotopies, equivalences, sets, and propositions Check with latest Rzk #138: Pull request #14 synchronize by fizruk
December 13, 2023 23:14 14s 2.4-homotopies-are-equivalences
2.4-homotopies-are-equivalences
December 13, 2023 23:14 14s
Simplify isSet proofs by factoring out injective-equivalence Check with latest Rzk #137: Commit ae58ad0 pushed by fizruk
December 13, 2023 23:14 22s 2.4-homotopies-are-equivalences
2.4-homotopies-are-equivalences
December 13, 2023 23:14 22s
Homotopies, equivalences, sets, and propositions Check with latest Rzk #136: Pull request #14 synchronize by fizruk
December 13, 2023 22:32 15s 2.4-homotopies-are-equivalences
2.4-homotopies-are-equivalences
December 13, 2023 22:32 15s
Split formalizations from seminar into proper files Check with latest Rzk #135: Commit 801a8b9 pushed by fizruk
December 13, 2023 22:32 20s 2.4-homotopies-are-equivalences
2.4-homotopies-are-equivalences
December 13, 2023 22:32 20s
Homotopies, equivalences, sets, and propositions Check with latest Rzk #134: Pull request #14 synchronize by fizruk
December 13, 2023 21:40 20s 2.4-homotopies-are-equivalences
2.4-homotopies-are-equivalences
December 13, 2023 21:40 20s
Prettify homotopy-id-swap a bit Check with latest Rzk #133: Commit b511cd0 pushed by fizruk
December 13, 2023 21:40 23s 2.4-homotopies-are-equivalences
2.4-homotopies-are-equivalences
December 13, 2023 21:40 23s
Homotopies, equivalences, sets, and propositions Check with latest Rzk #132: Pull request #14 synchronize by fizruk
December 13, 2023 20:37 19s 2.4-homotopies-are-equivalences
2.4-homotopies-are-equivalences
December 13, 2023 20:37 19s
Complete equivalence-trans Check with latest Rzk #131: Commit 0accd2e pushed by fizruk
December 13, 2023 20:37 14s 2.4-homotopies-are-equivalences
2.4-homotopies-are-equivalences
December 13, 2023 20:37 14s
Complete equivalence-trans Check with latest Rzk #130: Commit 5ee5357 pushed by fizruk
December 13, 2023 20:30 16s weird-formatting-bug
weird-formatting-bug
December 13, 2023 20:30 16s
Save file that reproduces the formatting bug Check with latest Rzk #129: Commit 3b9c576 pushed by fizruk
December 13, 2023 20:03 16s weird-formatting-bug
weird-formatting-bug
December 13, 2023 20:03 16s
Homotopies, equivalences, sets, and propositions Check with latest Rzk #128: Pull request #14 synchronize by fizruk
December 13, 2023 19:35 20s 2.4-homotopies-are-equivalences
2.4-homotopies-are-equivalences
December 13, 2023 19:35 20s
Refactor equivalence-sym Check with latest Rzk #127: Commit 844a4ef pushed by fizruk
December 13, 2023 19:35 15s 2.4-homotopies-are-equivalences
2.4-homotopies-are-equivalences
December 13, 2023 19:35 15s
Homotopies, equivalences, sets, and propositions Check with latest Rzk #126: Pull request #14 synchronize by fizruk
December 13, 2023 12:56 47s 2.4-homotopies-are-equivalences
2.4-homotopies-are-equivalences
December 13, 2023 12:56 47s
Refactor half of section 2.4 Check with latest Rzk #125: Commit 6ee9942 pushed by fizruk
December 13, 2023 12:56 51s 2.4-homotopies-are-equivalences
2.4-homotopies-are-equivalences
December 13, 2023 12:56 51s
Homotopies, equivalences, sets, and propositions Check with latest Rzk #124: Pull request #14 synchronize by fizruk
December 13, 2023 11:37 18s 2.4-homotopies-are-equivalences
2.4-homotopies-are-equivalences
December 13, 2023 11:37 18s