Skip to content

Actions: rzk-lang/rzk

MKDocs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
69 workflow runs
69 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'release-v0.7.5'
MKDocs #163: Commit 25dd17a pushed by fizruk
August 18, 2024 06:35 53s v0.7.5
August 18, 2024 06:35 53s
Push blog changes even when props are unchanged
MKDocs #162: Commit 86173ff pushed by fizruk
May 14, 2024 09:23 37s blog
May 14, 2024 09:23 37s
Make formatter post not a literal Rzk file
MKDocs #161: Commit 41b7a2b pushed by fizruk
May 14, 2024 09:08 40s blog
May 14, 2024 09:08 40s
Make formatter post not a literal Rzk file
MKDocs #160: Commit 1f56816 pushed by fizruk
May 14, 2024 09:05 28s blog
May 14, 2024 09:05 28s
Update MkDocs workflow
MKDocs #159: Commit bfa1599 pushed by fizruk
May 14, 2024 09:01 23s blog
May 14, 2024 09:01 23s
MKDocs
MKDocs #158: Manually run by fizruk
May 14, 2024 08:39 44s blog
May 14, 2024 08:39 44s
Merge pull request #184 from rzk-lang/fix-ci
MKDocs #157: Commit 013b412 pushed by fizruk
May 2, 2024 14:06 1m 1s develop
May 2, 2024 14:06 1m 1s
Merge pull request #178 from rzk-lang/tiny-docs-fixes-2024-04-04
MKDocs #156: Commit 1450c1c pushed by fizruk
April 4, 2024 15:38 2m 35s develop
April 4, 2024 15:38 2m 35s
Merge branch 'release-v0.7.4'
MKDocs #155: Commit 0ac6736 pushed by fizruk
April 1, 2024 18:26 47s v0.7.4
April 1, 2024 18:26 47s
Merge pull request #171 from ncfavier/patch-1
MKDocs #154: Commit 9f851f5 pushed by fizruk
March 19, 2024 19:16 1m 3s develop
March 19, 2024 19:16 1m 3s
Merge pull request #169 from rzk-lang/blog-hotfix/formatter-post
MKDocs #153: Commit b507736 pushed by fizruk
January 17, 2024 19:38 54s blog
January 17, 2024 19:38 54s
Merge pull request #166 from rzk-lang/blogpost/formatter
MKDocs #152: Commit 81d20ea pushed by aabounegm
January 7, 2024 19:33 29s blog
January 7, 2024 19:33 29s
Merge branch 'release-v0.7.3'
MKDocs #151: Commit 8e0af0c pushed by fizruk
December 16, 2023 11:06 59s v0.7.3
December 16, 2023 11:06 59s
Merge pull request #161 from rzk-lang/fix/formatter-crash
MKDocs #150: Commit c5651b4 pushed by fizruk
December 15, 2023 22:15 52s develop
December 15, 2023 22:15 52s
Merge branch 'release-v0.7.2'
MKDocs #149: Commit 4adb752 pushed by fizruk
December 12, 2023 10:36 1m 2s v0.7.2
December 12, 2023 10:36 1m 2s
Move the blog out of versioned docs
MKDocs #148: Commit e438820 pushed by fizruk
December 12, 2023 09:37 56s develop
December 12, 2023 09:37 56s
Hide blog in the version selector
MKDocs #147: Commit 7f1ba9a pushed by fizruk
December 12, 2023 09:28 47s blog
December 12, 2023 09:28 47s
Hide blog in the version selector
MKDocs #146: Commit 73c7cc1 pushed by fizruk
December 12, 2023 09:27 39s blog
December 12, 2023 09:27 39s
Hide blog in the version selector
MKDocs #145: Commit 78448f7 pushed by fizruk
December 12, 2023 09:24 45s blog
December 12, 2023 09:24 45s
Support Rzk in blog
MKDocs #144: Commit 678f656 pushed by fizruk
December 12, 2023 09:18 45s blog
December 12, 2023 09:18 45s
Fix blog workflow
MKDocs #143: Commit ec24167 pushed by fizruk
December 12, 2023 09:07 32s blog
December 12, 2023 09:07 32s
Merge pull request #153 from rzk-lang/mkdocs-blog
MKDocs #142: Commit cbbefea pushed by fizruk
December 10, 2023 13:21 1m 1s develop
December 10, 2023 13:21 1m 1s
Add RSS feed for the blog
MKDocs #141: Commit 5dbeab3 pushed by fizruk
December 10, 2023 13:10 52s mkdocs-blog
December 10, 2023 13:10 52s
Fix first post's date
MKDocs #140: Commit b9bee24 pushed by fizruk
December 10, 2023 12:50 54s mkdocs-blog
December 10, 2023 12:50 54s
Add a page mentioning/comparing with other HoTT assistants
MKDocs #139: Commit 48abfcd pushed by fizruk
December 10, 2023 12:46 49s mkdocs-blog
December 10, 2023 12:46 49s