Skip to content

Actions: anoma/juvix-docs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
544 workflow runs
544 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #423: by github-pages bot
December 25, 2024 15:05 39s gh-pages
gh-pages
December 25, 2024 15:05 39s
Review essential tutorial content Juvix Docs CI #492: Pull request #135 ready_for_review by jonaprieto
December 25, 2024 15:02 2m 43s jonathan/proof-read
jonathan/proof-read
December 25, 2024 15:02 2m 43s
pages build and deployment pages-build-deployment #422: by github-pages bot
December 25, 2024 15:00 41s gh-pages
gh-pages
December 25, 2024 15:00 41s
Review essential tutorial content Juvix Docs CI #491: Pull request #135 synchronize by jonaprieto
December 25, 2024 14:57 3m 1s jonathan/proof-read
jonathan/proof-read
December 25, 2024 14:57 3m 1s
pages build and deployment pages-build-deployment #421: by github-pages bot
December 25, 2024 14:54 35s gh-pages
gh-pages
December 25, 2024 14:54 35s
Review essential tutorial content Juvix Docs CI #490: Pull request #135 synchronize by jonaprieto
December 25, 2024 14:51 2m 42s jonathan/proof-read
jonathan/proof-read
December 25, 2024 14:51 2m 42s
pages build and deployment pages-build-deployment #420: by github-pages bot
December 24, 2024 19:00 37s gh-pages
gh-pages
December 24, 2024 19:00 37s
Review essential tutorial content Juvix Docs CI #489: Pull request #135 synchronize by jonaprieto
December 24, 2024 18:58 2m 37s jonathan/proof-read
jonathan/proof-read
December 24, 2024 18:58 2m 37s
pages build and deployment pages-build-deployment #419: by github-pages bot
December 24, 2024 18:52 45s gh-pages
gh-pages
December 24, 2024 18:52 45s
Review essential tutorial content Juvix Docs CI #488: Pull request #135 synchronize by jonaprieto
December 24, 2024 18:49 2m 59s jonathan/proof-read
jonathan/proof-read
December 24, 2024 18:49 2m 59s
Review essential tutorial content Juvix Docs CI #487: Pull request #135 synchronize by jonaprieto
December 24, 2024 18:47 2m 16s jonathan/proof-read
jonathan/proof-read
December 24, 2024 18:47 2m 16s
pages build and deployment pages-build-deployment #418: by github-pages bot
December 23, 2024 19:19 35s gh-pages
gh-pages
December 23, 2024 19:19 35s
Review essential tutorial content Juvix Docs CI #486: Pull request #135 synchronize by jonaprieto
December 23, 2024 19:16 2m 44s jonathan/proof-read
jonathan/proof-read
December 23, 2024 19:16 2m 44s
pages build and deployment pages-build-deployment #417: by github-pages bot
December 23, 2024 18:54 38s gh-pages
gh-pages
December 23, 2024 18:54 38s
Review essential tutorial content Juvix Docs CI #485: Pull request #135 synchronize by jonaprieto
December 23, 2024 18:52 2m 40s jonathan/proof-read
jonathan/proof-read
December 23, 2024 18:52 2m 40s
pages build and deployment pages-build-deployment #416: by github-pages bot
December 23, 2024 17:16 44s gh-pages
gh-pages
December 23, 2024 17:16 44s
pages build and deployment pages-build-deployment #415: by github-pages bot
December 23, 2024 17:13 38s gh-pages
gh-pages
December 23, 2024 17:13 38s
remove consent Juvix Docs CI #484: Pull request #136 ready_for_review by jonaprieto
December 23, 2024 17:13 3m 39s remove-consent
remove-consent
December 23, 2024 17:13 3m 39s
remove consent Juvix Docs CI #483: Pull request #136 opened by jonaprieto
December 23, 2024 17:13 14s remove-consent
remove-consent
December 23, 2024 17:13 14s
Review essential tutorial content Juvix Docs CI #482: Pull request #135 opened by jonaprieto
December 23, 2024 17:11 2m 38s jonathan/proof-read
jonathan/proof-read
December 23, 2024 17:11 2m 38s
pages build and deployment pages-build-deployment #414: by github-pages bot
December 23, 2024 10:17 38s gh-pages
gh-pages
December 23, 2024 10:17 38s
pages build and deployment pages-build-deployment #413: by github-pages bot
December 23, 2024 10:17 2s gh-pages
gh-pages
December 23, 2024 10:17 2s
pages build and deployment pages-build-deployment #412: by github-pages bot
December 23, 2024 10:16 19s gh-pages
gh-pages
December 23, 2024 10:16 19s
Juvix Docs CI Juvix Docs CI #481: Manually run by paulcadman
December 23, 2024 10:14 3m 0s main
main
December 23, 2024 10:14 3m 0s
pages build and deployment pages-build-deployment #411: by github-pages bot
December 23, 2024 10:09 37s gh-pages
gh-pages
December 23, 2024 10:09 37s