Skip to content

Actions: anoma/juvix-mkdocs

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
78 workflow runs
78 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
October 19, 2024 04:55 1m 25s
pages build and deployment
pages-build-deployment #13: by github-pages bot
October 18, 2024 06:11 51s
October 18, 2024 06:11 51s
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
October 18, 2024 06:10 1m 31s
pages build and deployment
pages-build-deployment #12: by github-pages bot
October 18, 2024 04:28 47s
October 18, 2024 04:28 47s
Refactor plugins and use env.
Mkdocs+Juvix CI #15: Commit 581406f pushed by jonaprieto
October 18, 2024 04:27 1m 10s main
October 18, 2024 04:27 1m 10s
pages build and deployment
pages-build-deployment #11: by github-pages bot
October 17, 2024 07:33 54s
October 17, 2024 07:33 54s
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
October 17, 2024 07:32 1m 18s
pages build and deployment
pages-build-deployment #10: by github-pages bot
October 17, 2024 07:24 54s
October 17, 2024 07:24 54s
Add support for isabelle
Mkdocs+Juvix CI #13: Commit 3737de5 pushed by jonaprieto
October 17, 2024 07:23 1m 12s main
October 17, 2024 07:23 1m 12s
pages build and deployment
pages-build-deployment #9: by github-pages bot
October 17, 2024 05:12 47s
October 17, 2024 05:12 47s
Update README.md with badges
Mkdocs+Juvix CI #12: Commit 8e4317d pushed by jonaprieto
October 17, 2024 05:11 1m 15s main
October 17, 2024 05:11 1m 15s
pages build and deployment
pages-build-deployment #8: by github-pages bot
October 17, 2024 05:03 53s
October 17, 2024 05:03 53s
Add wikilinks and todos plugins
Mkdocs+Juvix CI #11: Commit 80df2e0 pushed by jonaprieto
October 17, 2024 05:02 1m 49s main
October 17, 2024 05:02 1m 49s
pages build and deployment
pages-build-deployment #7: by github-pages bot
October 17, 2024 02:01 45s
October 17, 2024 02:01 45s
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
October 17, 2024 02:00 1m 9s
pages build and deployment
pages-build-deployment #6: by github-pages bot
October 16, 2024 03:36 45s
October 16, 2024 03:36 45s
[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
October 16, 2024 03:35 1m 10s
pages build and deployment
pages-build-deployment #5: by github-pages bot
October 16, 2024 03:31 45s
October 16, 2024 03:31 45s
Bump version to v0.2.10
Mkdocs+Juvix CI #6: Commit 80e5ec4 pushed by jonaprieto
October 16, 2024 03:30 1m 22s main
October 16, 2024 03:30 1m 22s
pages build and deployment
pages-build-deployment #4: by github-pages bot
October 16, 2024 03:15 44s
October 16, 2024 03:15 44s
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
October 16, 2024 03:14 1m 6s
pages build and deployment
pages-build-deployment #3: by github-pages bot
October 16, 2024 01:57 48s
October 16, 2024 01:57 48s
Adapt confirmation questions for mkdocs extensions
Mkdocs+Juvix CI #4: Commit 28ebf67 pushed by jonaprieto
October 16, 2024 01:56 1m 17s main
October 16, 2024 01:56 1m 17s
pages build and deployment
pages-build-deployment #2: by github-pages bot
October 16, 2024 01:13 48s
October 16, 2024 01:13 48s
Fix CI fixture fore new projects
Mkdocs+Juvix CI #3: Commit 4f25b78 pushed by jonaprieto
October 16, 2024 01:12 1m 4s main
October 16, 2024 01:12 1m 4s