Skip to content

Actions: rzk-lang/hottbook

Actions

Check with latest Rzk

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rzk.yml
30 workflow runs
30 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
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 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
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
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
Apply autoformatting to 1.2.4 Check with latest Rzk #123: Commit 7c36a8c pushed by fizruk
December 13, 2023 11:37 19s 2.4-homotopies-are-equivalences
2.4-homotopies-are-equivalences
December 13, 2023 11:37 19s
Homotopies, equivalences, sets, and propositions Check with latest Rzk #122: Pull request #14 synchronize by fizruk
December 13, 2023 11:37 20s 2.4-homotopies-are-equivalences
2.4-homotopies-are-equivalences
December 13, 2023 11:37 20s
Add is-set-prod (2.6.2 and 3.1.5) Check with latest Rzk #121: Commit 035135b pushed by fizruk
December 13, 2023 11:37 20s 2.4-homotopies-are-equivalences
2.4-homotopies-are-equivalences
December 13, 2023 11:37 20s
Merge pull request #15 from rzk-lang/3.1-sets-and-n-types Check with latest Rzk #120: Commit de0dc3c pushed by fizruk
December 13, 2023 11:34 19s 2.4-homotopies-are-equivalences
2.4-homotopies-are-equivalences
December 13, 2023 11:34 19s
3.1 sets and n-types Check with latest Rzk #119: Pull request #15 synchronize by eyihluyc
December 13, 2023 11:29 19s 3.1-sets-and-n-types
3.1-sets-and-n-types
December 13, 2023 11:29 19s
Add is-set-prod (2.6.2 and 3.1.5) Check with latest Rzk #118: Commit 49038fd pushed by eyihluyc
December 13, 2023 11:29 14s 3.1-sets-and-n-types
3.1-sets-and-n-types
December 13, 2023 11:29 14s