Skip to content

Actions: anoma/juvix-mkdocs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
63 workflow runs
63 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #36: by github-pages bot
43s gh-pages
gh-pages
43s
Bump up v0.4.9: ignore qualified modules checking if Juvix is not ava… Mkdocs+Juvix CI #52: Commit f31f0e4 pushed by jonaprieto
1m 45s main
main
1m 45s
pages build and deployment pages-build-deployment #35: by github-pages bot
40s gh-pages
gh-pages
40s
Bump up v0.4.8: create cache folder depending on the PROCESS_JUVIX en… Mkdocs+Juvix CI #51: Commit 441ea2e pushed by jonaprieto
2m 0s main
main
2m 0s
pages build and deployment pages-build-deployment #34: by github-pages bot
42s gh-pages
gh-pages
42s
Bump up version to 0.4.7 (#15) Minor fixes Mkdocs+Juvix CI #50: Commit 61308c1 pushed by jonaprieto
2m 2s main
main
2m 2s
pages build and deployment pages-build-deployment #33: by github-pages bot
45s gh-pages
gh-pages
45s
v0.4.6 (#14) Mkdocs+Juvix CI #49: Commit 4bea8e6 pushed by jonaprieto
2m 20s main
main
2m 20s
pages build and deployment pages-build-deployment #32: by github-pages bot
42s gh-pages
gh-pages
42s
CI: use SITE_URL Mkdocs+Juvix CI #48: Commit d8de19c pushed by jonaprieto
2m 15s main
main
2m 15s
CI: use SITE_URL Mkdocs+Juvix CI #47: Commit 8d621f6 pushed by jonaprieto
1m 10s main
main
1m 10s
pages build and deployment pages-build-deployment #31: by github-pages bot
37s gh-pages
gh-pages
37s
Remove log.info message Mkdocs+Juvix CI #46: Commit 9e23b20 pushed by jonaprieto
1m 55s main
main
1m 55s
pages build and deployment pages-build-deployment #30: by github-pages bot
38s gh-pages
gh-pages
38s
Run pre-commit Mkdocs+Juvix CI #45: Commit 0e9179a pushed by jonaprieto
1m 54s main
main
1m 54s
pages build and deployment pages-build-deployment #29: by github-pages bot
40s gh-pages
gh-pages
40s
v0.4.4 (#13) Mkdocs+Juvix CI #44: Commit 46bc7d2 pushed by jonaprieto
1m 57s main
main
1m 57s
pages build and deployment pages-build-deployment #28: by github-pages bot
39s gh-pages
gh-pages
39s
Fix CI minor typo Mkdocs+Juvix CI #43: Commit 8893a35 pushed by jonaprieto
1m 45s main
main
1m 45s
Fix CI minor typo Mkdocs+Juvix CI #42: Commit 07b9f7b pushed by jonaprieto
1m 47s main
main
1m 47s
Fix CI minor typo Mkdocs+Juvix CI #41: Commit 07cbe38 pushed by jonaprieto
1m 37s main
main
1m 37s
Fix CI minor typo Mkdocs+Juvix CI #40: Commit e47a7d6 pushed by jonaprieto
1m 46s main
main
1m 46s
Fix CI minor typo Mkdocs+Juvix CI #39: Commit f5ba2bd pushed by jonaprieto
2m 23s main
main
2m 23s
Bump up to v0.4.3 (#12) Mkdocs+Juvix CI #38: Commit 4023aec pushed by jonaprieto
1m 14s main
main
1m 14s
pages build and deployment pages-build-deployment #27: by github-pages bot
39s gh-pages
gh-pages
39s