Skip to content

Actions: anoma/juvix-docs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
529 workflow runs
529 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adapt to the new function syntax Juvix Docs CI #226: Pull request #70 synchronize by jonaprieto
August 28, 2023 07:52 56s update-docs-new-syntax
update-docs-new-syntax
August 28, 2023 07:52 56s
Adapt to the new function syntax Juvix Docs CI #225: Pull request #70 synchronize by jonaprieto
August 28, 2023 07:52 8s update-docs-new-syntax
update-docs-new-syntax
August 28, 2023 07:52 8s
Adapt to the new function syntax Juvix Docs CI #224: Pull request #70 synchronize by jonaprieto
August 28, 2023 07:52 12s update-docs-new-syntax
update-docs-new-syntax
August 28, 2023 07:52 12s
Update the tutorial to the new syntax (#69) Juvix Docs CI #223: Commit 516fcbb pushed by jonaprieto
August 28, 2023 07:52 54s main
main
August 28, 2023 07:52 54s
Update the tutorial to the new syntax cleanup caches by a branch #48: Pull request #69 closed by jonaprieto
August 28, 2023 07:52 17s update-tutorial-new-syntax
update-tutorial-new-syntax
August 28, 2023 07:52 17s
Update the tutorial to the new syntax Juvix Docs CI #222: Pull request #69 synchronize by lukaszcz
August 25, 2023 10:22 45s update-tutorial-new-syntax
update-tutorial-new-syntax
August 25, 2023 10:22 45s
Update the tutorial to the new syntax Juvix Docs CI #221: Pull request #69 synchronize by lukaszcz
August 25, 2023 10:18 49s update-tutorial-new-syntax
update-tutorial-new-syntax
August 25, 2023 10:18 49s
Adapt to the new function syntax Juvix Docs CI #220: Pull request #70 opened by lukaszcz
August 25, 2023 10:12 53s update-docs-new-syntax
update-docs-new-syntax
August 25, 2023 10:12 53s
Update the tutorial to the new syntax Juvix Docs CI #219: Pull request #69 opened by lukaszcz
August 24, 2023 15:45 29s update-tutorial-new-syntax
update-tutorial-new-syntax
August 24, 2023 15:45 29s
Update VERSION Juvix Docs CI #218: Pull request #68 opened by jonaprieto
August 24, 2023 15:38 46s bump-juvix-version
bump-juvix-version
August 24, 2023 15:38 46s
pages build and deployment pages-build-deployment #182: by github-pages bot
August 18, 2023 12:12 1m 44s
August 18, 2023 12:12 1m 44s
pages build and deployment pages-build-deployment #181: by github-pages bot
August 18, 2023 12:12 3s
August 18, 2023 12:12 3s
pages build and deployment pages-build-deployment #180: by github-pages bot
August 18, 2023 12:12 7s
August 18, 2023 12:12 7s
pages build and deployment pages-build-deployment #179: by github-pages bot
August 18, 2023 12:12 16s
August 18, 2023 12:12 16s
Juvix Docs CI Juvix Docs CI #216: Manually run by jonaprieto
August 18, 2023 12:10 2m 37s main
main
August 18, 2023 12:10 2m 37s
pages build and deployment pages-build-deployment #178: by github-pages bot
August 18, 2023 09:40 1m 36s
August 18, 2023 09:40 1m 36s
pages build and deployment pages-build-deployment #177: by github-pages bot
August 18, 2023 09:40 31s
August 18, 2023 09:40 31s
Update talks.md with correct link for ETH Prague workshop. (#67) Juvix Docs CI #215: Commit 684f132 pushed by jonaprieto
August 18, 2023 09:37 3m 1s main
main
August 18, 2023 09:37 3m 1s
Update talks.md with correct link for ETH Prague workshop. cleanup caches by a branch #47: Pull request #67 closed by jonaprieto
August 18, 2023 09:37 15s FilipHarald-patch-1
FilipHarald-patch-1
August 18, 2023 09:37 15s
pages build and deployment pages-build-deployment #176: by github-pages bot
August 2, 2023 10:26 1m 43s
August 2, 2023 10:26 1m 43s
pages build and deployment pages-build-deployment #175: by github-pages bot
August 2, 2023 10:26 4s
August 2, 2023 10:26 4s
pages build and deployment pages-build-deployment #174: by github-pages bot
August 2, 2023 10:26 13s
August 2, 2023 10:26 13s
Juvix Docs CI Juvix Docs CI #213: Manually run by jonaprieto
August 2, 2023 10:22 3m 9s main
main
August 2, 2023 10:22 3m 9s
pages build and deployment pages-build-deployment #173: by github-pages bot
August 1, 2023 16:37 1m 36s
August 1, 2023 16:37 1m 36s
pages build and deployment pages-build-deployment #172: by github-pages bot
August 1, 2023 16:36 40s
August 1, 2023 16:36 40s
ProTip! You can narrow down the results and go further in time using created:<2023-08-01 or the other filters available.