Skip to content

Actions: anoma/juvix-mkdocs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
86 workflow runs
86 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump up version to 0.4.2: pyproject material update and tutorial Mkdocs+Juvix CI #37: Commit 6252e0b pushed by jonaprieto
November 24, 2024 04:22 2m 6s main
main
November 24, 2024 04:22 2m 6s
pages build and deployment pages-build-deployment #26: by github-pages bot
November 24, 2024 04:21 39s gh-pages
gh-pages
November 24, 2024 04:21 39s
Update tutorial Mkdocs+Juvix CI #36: Commit 2c4c496 pushed by jonaprieto
November 24, 2024 04:19 2m 8s main
main
November 24, 2024 04:19 2m 8s
pages build and deployment pages-build-deployment #25: by github-pages bot
November 24, 2024 04:15 38s gh-pages
gh-pages
November 24, 2024 04:15 38s
Revisit caching strategy and pipeline structure (#11) Mkdocs+Juvix CI #35: Commit f01cc27 pushed by jonaprieto
November 24, 2024 04:11 4m 5s main
main
November 24, 2024 04:11 4m 5s
Revisit caching strategy and pipeline structure (#11) Mkdocs+Juvix CI #34: Commit 02bab81 pushed by jonaprieto
November 24, 2024 04:05 1m 20s main
main
November 24, 2024 04:05 1m 20s
Improve Juvix Markdown pipeline, caching and Python project codebase … Mkdocs+Juvix CI #33: Commit d8a4c92 pushed by jonaprieto
November 18, 2024 23:40 1m 17s main
main
November 18, 2024 23:40 1m 17s
Improve Juvix Markdown pipeline, caching and Python project codebase … Mkdocs+Juvix CI #32: Commit 62ea22d pushed by jonaprieto
November 18, 2024 23:16 1m 14s main
main
November 18, 2024 23:16 1m 14s
Update pyproject.yml libraries Mkdocs+Juvix CI #31: Commit 41bb1c0 pushed by jonaprieto
November 18, 2024 22:50 1m 44s main
main
November 18, 2024 22:50 1m 44s
Fix pyproject.yml: remove wrong classifiers Mkdocs+Juvix CI #30: Commit 77ee748 pushed by jonaprieto
November 18, 2024 22:40 1m 21s main
main
November 18, 2024 22:40 1m 21s
Fix pyproject.yml: remove wrong classifiers Mkdocs+Juvix CI #29: Commit 80dcefb pushed by jonaprieto
November 18, 2024 22:32 1m 21s main
main
November 18, 2024 22:32 1m 21s
Improve Juvix Markdown pipeline, caching and Python project codebase … Mkdocs+Juvix CI #28: Commit 7b88101 pushed by jonaprieto
November 18, 2024 22:29 1m 20s main
main
November 18, 2024 22:29 1m 20s
pages build and deployment pages-build-deployment #24: by github-pages bot
November 18, 2024 03:04 47s gh-pages
gh-pages
November 18, 2024 03:04 47s
w.i.p Mkdocs+Juvix CI #27: Commit 8f10450 pushed by jonaprieto
November 18, 2024 03:00 4m 7s main
main
November 18, 2024 03:00 4m 7s
pages build and deployment pages-build-deployment #23: by github-pages bot
October 23, 2024 04:47 39s gh-pages
gh-pages
October 23, 2024 04:47 39s
Fix relative path in links plugin Mkdocs+Juvix CI #26: Commit 60352ae pushed by jonaprieto
October 23, 2024 04:45 1m 39s main
main
October 23, 2024 04:45 1m 39s
pages build and deployment pages-build-deployment #22: by github-pages bot
October 23, 2024 04:17 43s gh-pages
gh-pages
October 23, 2024 04:17 43s
Improve parallelization performance with trio lib Mkdocs+Juvix CI #25: Commit ab6fcde pushed by jonaprieto
October 23, 2024 04:16 1m 49s main
main
October 23, 2024 04:16 1m 49s
pages build and deployment pages-build-deployment #21: by github-pages bot
October 22, 2024 05:08 42s gh-pages
gh-pages
October 22, 2024 05:08 42s
Speed up SVG generation and images link replacement, plus other optim… Mkdocs+Juvix CI #24: Commit 9c69ef6 pushed by jonaprieto
October 22, 2024 05:07 1m 41s main
main
October 22, 2024 05:07 1m 41s
pages build and deployment pages-build-deployment #20: by github-pages bot
October 20, 2024 06:44 51s gh-pages
gh-pages
October 20, 2024 06:44 51s
Refactoring mkdocs_juvix.snippets Mkdocs+Juvix CI #23: Commit 1f77476 pushed by jonaprieto
October 20, 2024 06:42 1m 31s main
main
October 20, 2024 06:42 1m 31s
pages build and deployment pages-build-deployment #19: by github-pages bot
October 19, 2024 21:20 46s gh-pages
gh-pages
October 19, 2024 21:20 46s
remove log debug Mkdocs+Juvix CI #22: Commit e362d0d pushed by jonaprieto
October 19, 2024 21:19 1m 26s main
main
October 19, 2024 21:19 1m 26s
pages build and deployment pages-build-deployment #18: by github-pages bot
October 19, 2024 20:28 41s gh-pages
gh-pages
October 19, 2024 20:28 41s