Skip to content

Actions: anoma/juvix-mkdocs

Actions

Mkdocs+Juvix CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
50 workflow runs
50 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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
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
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
Refactor Wikilink preprocessing Mkdocs+Juvix CI #21: Commit 5ff79ee pushed by jonaprieto
October 19, 2024 20:27 1m 21s main
main
October 19, 2024 20:27 1m 21s
Refactor Wikilink preprocessing Mkdocs+Juvix CI #20: Commit 7d6c857 pushed by jonaprieto
October 19, 2024 20:25 1m 13s main
main
October 19, 2024 20:25 1m 13s
Minor fixes to demonstration files Mkdocs+Juvix CI #19: Commit ada2995 pushed by jonaprieto
October 19, 2024 06:02 1m 19s main
main
October 19, 2024 06:02 1m 19s
Add support to include snippet section of isabelle generated code for… Mkdocs+Juvix CI #18: Commit d466b1d pushed by jonaprieto
October 19, 2024 04:56 1m 28s main
main
October 19, 2024 04:56 1m 28s
Add support to include snippet section of isabelle generated code for… Mkdocs+Juvix CI #17: Commit ce06aa1 pushed by jonaprieto
October 19, 2024 04:55 1m 25s main
main
October 19, 2024 04:55 1m 25s
Add snippet support for Isablle generated output of juvix markdown files Mkdocs+Juvix CI #16: Commit 537a6ad pushed by jonaprieto
October 18, 2024 06:10 1m 31s main
main
October 18, 2024 06:10 1m 31s
Refactor plugins and use env. Mkdocs+Juvix CI #15: Commit 581406f pushed by jonaprieto
October 18, 2024 04:27 1m 10s main
main
October 18, 2024 04:27 1m 10s
Remove --non-recursive option from juvix isabelle for now Mkdocs+Juvix CI #14: Commit 1b51ac8 pushed by jonaprieto
October 17, 2024 07:32 1m 18s main
main
October 17, 2024 07:32 1m 18s
Add support for isabelle Mkdocs+Juvix CI #13: Commit 3737de5 pushed by jonaprieto
October 17, 2024 07:23 1m 12s main
main
October 17, 2024 07:23 1m 12s
Update README.md with badges Mkdocs+Juvix CI #12: Commit 8e4317d pushed by jonaprieto
October 17, 2024 05:11 1m 15s main
main
October 17, 2024 05:11 1m 15s
Add wikilinks and todos plugins Mkdocs+Juvix CI #11: Commit 80df2e0 pushed by jonaprieto
October 17, 2024 05:02 1m 49s main
main
October 17, 2024 05:02 1m 49s
Add pre-commit to the package to be installed Mkdocs+Juvix CI #8: Commit c6a618d pushed by jonaprieto
October 17, 2024 02:00 1m 9s main
main
October 17, 2024 02:00 1m 9s
[CI] use --anoma-setup to render the main website Mkdocs+Juvix CI #7: Commit 78c21b5 pushed by jonaprieto
October 16, 2024 03:35 1m 10s main
main
October 16, 2024 03:35 1m 10s
Bump version to v0.2.10 Mkdocs+Juvix CI #6: Commit 80e5ec4 pushed by jonaprieto
October 16, 2024 03:30 1m 22s main
main
October 16, 2024 03:30 1m 22s
Add --anoma-setup flag to render website using Anoma Specs look&feel Mkdocs+Juvix CI #5: Commit c2cb0a9 pushed by jonaprieto
October 16, 2024 03:14 1m 6s main
main
October 16, 2024 03:14 1m 6s
Adapt confirmation questions for mkdocs extensions Mkdocs+Juvix CI #4: Commit 28ebf67 pushed by jonaprieto
October 16, 2024 01:56 1m 17s main
main
October 16, 2024 01:56 1m 17s
Fix CI fixture fore new projects Mkdocs+Juvix CI #3: Commit 4f25b78 pushed by jonaprieto
October 16, 2024 01:12 1m 4s main
main
October 16, 2024 01:12 1m 4s
CI intereating Mkdocs+Juvix CI #2: Commit bb7c277 pushed by jonaprieto
October 16, 2024 00:54 1m 19s main
main
October 16, 2024 00:54 1m 19s
Remove outdated tests Mkdocs+Juvix CI #1: Commit 78e14b9 pushed by jonaprieto
October 16, 2024 00:45 3m 0s main
main
October 16, 2024 00:45 3m 0s