Skip to content

Actions: anoma/juvix-docs

Actions

Juvix Docs CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
207 workflow runs
207 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update project documentation for Package.juvix Juvix Docs CI #332: Pull request #86 synchronize by jonaprieto
November 17, 2023 18:20 4m 30s project-update
project-update
November 17, 2023 18:20 4m 30s
Update VERSION Juvix Docs CI #331: Pull request #89 opened by jonaprieto
November 17, 2023 18:18 1m 22s jonaprieto-patch-1
jonaprieto-patch-1
November 17, 2023 18:18 1m 22s
Update project documentation for Package.juvix Juvix Docs CI #330: Pull request #86 synchronize by jonaprieto
November 17, 2023 18:15 1m 33s project-update
project-update
November 17, 2023 18:15 1m 33s
Add support for juvix-standalone code blocks Juvix Docs CI #329: Pull request #80 synchronize by jonaprieto
November 17, 2023 17:18 54s better-highlighting
better-highlighting
November 17, 2023 17:18 54s
Update project documentation for Package.juvix Juvix Docs CI #328: Pull request #86 synchronize by jonaprieto
November 17, 2023 17:14 1m 20s project-update
project-update
November 17, 2023 17:14 1m 20s
Makefile: format all packages in the repo (#87) Juvix Docs CI #327: Commit 5729fce pushed by jonaprieto
November 17, 2023 17:12 3m 49s main
main
November 17, 2023 17:12 3m 49s
Update doctor.md - Fix broken link for Install Wasmer (#88) Juvix Docs CI #326: Commit 0d7a794 pushed by lukaszcz
November 15, 2023 13:25 4m 29s main
main
November 15, 2023 13:25 4m 29s
Update doctor.md - Fix broken link for Install Wasmer Juvix Docs CI #325: Pull request #88 opened by MartinKong1990
November 15, 2023 12:54 3m 9s MartinKong1990:main
MartinKong1990:main
November 15, 2023 12:54 3m 9s
Makefile: format all packages in the repo Juvix Docs CI #324: Pull request #87 opened by paulcadman
November 8, 2023 16:46 3m 29s format-all-packages
format-all-packages
November 8, 2023 16:46 3m 29s
Update project documentation for Package.juvix Juvix Docs CI #323: Pull request #86 opened by paulcadman
November 6, 2023 11:26 1m 15s project-update
project-update
November 6, 2023 11:26 1m 15s
Add support for juvix-standalone code blocks Juvix Docs CI #322: Pull request #80 synchronize by jonaprieto
November 6, 2023 11:15 1m 48s better-highlighting
better-highlighting
November 6, 2023 11:15 1m 48s
Juvix Docs CI Juvix Docs CI #321: Manually run by jonaprieto
November 1, 2023 18:13 3m 40s main
main
November 1, 2023 18:13 3m 40s
Bump up VERSION to 0.5.3 Juvix Docs CI #320: Commit 8dc91d6 pushed by jonaprieto
November 1, 2023 18:02 4m 1s main
main
November 1, 2023 18:02 4m 1s
Fix typechecking for pragmas.juvix and add docs for default vals args. Juvix Docs CI #319: Commit 8159a52 pushed by jonaprieto
November 1, 2023 17:57 1m 7s main
main
November 1, 2023 17:57 1m 7s
Bump version to 0.5.3 Juvix Docs CI #318: Pull request #85 opened by paulcadman
November 1, 2023 17:01 1m 23s release-0.5.3
release-0.5.3
November 1, 2023 17:01 1m 23s
Update Documentation Syntax (#83) Juvix Docs CI #317: Commit 5d9de5c pushed by jonaprieto
November 1, 2023 16:48 1m 4s main
main
November 1, 2023 16:48 1m 4s
Update Documentation Syntax Juvix Docs CI #316: Pull request #83 synchronize by jonaprieto
November 1, 2023 16:46 1m 1s syntax-update
syntax-update
November 1, 2023 16:46 1m 1s
Document the specialization pragmas (#78) Juvix Docs CI #315: Commit 17a0287 pushed by jonaprieto
November 1, 2023 16:43 1m 28s main
main
November 1, 2023 16:43 1m 28s
Document the specialization pragmas Juvix Docs CI #314: Pull request #78 synchronize by jonaprieto
November 1, 2023 16:42 1m 14s pragmas
pragmas
November 1, 2023 16:42 1m 14s
Update to standard library traits (#81) Juvix Docs CI #313: Commit 040ec0e pushed by jonaprieto
November 1, 2023 16:42 1m 15s main
main
November 1, 2023 16:42 1m 15s
Update to standard library traits Juvix Docs CI #312: Pull request #81 synchronize by jonaprieto
November 1, 2023 16:42 1m 13s update-tutorial
update-tutorial
November 1, 2023 16:42 1m 13s
Fix typo (#82) Juvix Docs CI #311: Commit 3c441ea pushed by jonaprieto
November 1, 2023 16:38 1m 13s main
main
November 1, 2023 16:38 1m 13s
Fix typo Juvix Docs CI #310: Pull request #82 ready_for_review by jonaprieto
November 1, 2023 16:37 1m 49s jonaprieto-patch-1
jonaprieto-patch-1
November 1, 2023 16:37 1m 49s
Fix typo Juvix Docs CI #309: Pull request #82 synchronize by jonaprieto
November 1, 2023 16:36 54s jonaprieto-patch-1
jonaprieto-patch-1
November 1, 2023 16:36 54s
Update Geb Pipeline Post (#84) Juvix Docs CI #308: Commit d690d06 pushed by jonaprieto
November 1, 2023 16:31 1m 20s main
main
November 1, 2023 16:31 1m 20s