Skip to content

Actions: rzk-lang/rzk

Actions

MKDocs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mkdocs.yml
55 workflow runs
55 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add a page mentioning/comparing with other HoTT assistants MKDocs #138: Commit 3f3a485 pushed by fizruk
December 10, 2023 12:42 58s mkdocs-blog
mkdocs-blog
December 10, 2023 12:42 58s
Set up blog (in English version), use navigation.indexes MKDocs #137: Commit 63ba1f6 pushed by fizruk
December 9, 2023 22:08 57s mkdocs-blog
mkdocs-blog
December 9, 2023 22:08 57s
Merge pull request #150 from rzk-lang/mkdocs-languages MKDocs #136: Commit 18a2a27 pushed by fizruk
December 9, 2023 21:28 57s develop
develop
December 9, 2023 21:28 57s
Fix site_url MKDocs #135: Commit 9816238 pushed by fizruk
December 9, 2023 21:21 59s mkdocs-languages
mkdocs-languages
December 9, 2023 21:21 59s
Use mkdocs-material[imaging] MKDocs #134: Commit 479b739 pushed by fizruk
December 9, 2023 21:15 51s mkdocs-languages
mkdocs-languages
December 9, 2023 21:15 51s
Ignore .cache/ MKDocs #133: Commit a58e26c pushed by fizruk
December 9, 2023 21:09 44s mkdocs-languages
mkdocs-languages
December 9, 2023 21:09 44s
Select better fonts for English and Russian MKDocs #132: Commit e188f7f pushed by fizruk
December 9, 2023 20:46 39s mkdocs-languages
mkdocs-languages
December 9, 2023 20:46 39s
Fix Rzk check for docs MKDocs #131: Commit 262e5ab pushed by fizruk
December 9, 2023 20:18 47s mkdocs-languages
mkdocs-languages
December 9, 2023 20:18 47s
Clean up some docs and translate some to Russian MKDocs #130: Commit ed2ee10 pushed by fizruk
December 9, 2023 20:12 31s mkdocs-languages
mkdocs-languages
December 9, 2023 20:12 31s
Remove redundant emoji plugin (supported natively since MkDocs Materi… MKDocs #129: Commit 51caac2 pushed by fizruk
December 9, 2023 14:50 44s mkdocs-languages
mkdocs-languages
December 9, 2023 14:50 44s
Try fixing link warnings MKDocs #128: Commit cbf052f pushed by fizruk
December 9, 2023 14:49 48s mkdocs-languages
mkdocs-languages
December 9, 2023 14:49 48s
Try fixing link warnings MKDocs #127: Commit efaf523 pushed by fizruk
December 9, 2023 14:49 39s mkdocs-languages
mkdocs-languages
December 9, 2023 14:49 39s
Move CONTRIBUTORS.md to the root of the project MKDocs #126: Commit fc2735b pushed by fizruk
December 9, 2023 14:27 51s mkdocs-languages
mkdocs-languages
December 9, 2023 14:27 51s
Check Rzk files for each language MKDocs #125: Commit 3b954f6 pushed by fizruk
December 9, 2023 14:08 46s mkdocs-languages
mkdocs-languages
December 9, 2023 14:08 46s
Check Rzk files for each language MKDocs #124: Commit fafa36d pushed by fizruk
December 9, 2023 14:00 29s mkdocs-languages
mkdocs-languages
December 9, 2023 14:00 29s
Check Rzk files for each language MKDocs #123: Commit 0d1818a pushed by fizruk
December 9, 2023 13:59 35s mkdocs-languages
mkdocs-languages
December 9, 2023 13:59 35s
Add redirects for Rzk Playground MKDocs #122: Commit c00cc7f pushed by fizruk
December 9, 2023 13:47 51s mkdocs-languages
mkdocs-languages
December 9, 2023 13:47 51s
Add redirects for Rzk Playground MKDocs #121: Commit 14ece99 pushed by fizruk
December 9, 2023 13:41 50s mkdocs-languages
mkdocs-languages
December 9, 2023 13:41 50s
Set latest as default for all languages MKDocs #120: Commit 4915486 pushed by fizruk
December 9, 2023 10:11 52s mkdocs-languages
mkdocs-languages
December 9, 2023 10:11 52s
Check only English files Rzk docs (for now) MKDocs #119: Commit 0f2b636 pushed by fizruk
December 9, 2023 09:51 47s mkdocs-languages
mkdocs-languages
December 9, 2023 09:51 47s
Actually perform mike deploy MKDocs #118: Commit 1dbe8bb pushed by fizruk
December 9, 2023 09:39 51s mkdocs-languages
mkdocs-languages
December 9, 2023 09:39 51s
Add site_url MKDocs #117: Commit 39fff74 pushed by fizruk
December 9, 2023 09:37 40s mkdocs-languages
mkdocs-languages
December 9, 2023 09:37 40s
Add support for multiple languages in the documentation MKDocs #116: Commit b859cd9 pushed by fizruk
December 9, 2023 09:21 46s mkdocs-languages
mkdocs-languages
December 9, 2023 09:21 46s
Merge branch 'release-v0.7.1' into develop MKDocs #115: Commit 50d693b pushed by fizruk
December 8, 2023 14:07 2m 52s develop
develop
December 8, 2023 14:07 2m 52s
Merge branch 'release-v0.7.1' MKDocs #114: Commit eabfe3c pushed by fizruk
December 8, 2023 14:07 48s v0.7.1
v0.7.1
December 8, 2023 14:07 48s