Skip to content

Actions: anoma/juvix-docs

Actions

Juvix Docs CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
255 workflow runs
255 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix compilation how to Juvix Docs CI #368: Pull request #100 opened by janmasrovira
November 28, 2023 13:48 4m 25s fix-compilation-how-to
fix-compilation-how-to
November 28, 2023 13:48 4m 25s
Add howto for judoc Juvix Docs CI #367: Pull request #99 synchronize by janmasrovira
November 28, 2023 13:39 4m 13s add-judoc-howto
add-judoc-howto
November 28, 2023 13:39 4m 13s
Add howto for judoc Juvix Docs CI #366: Pull request #99 synchronize by janmasrovira
November 28, 2023 12:17 4m 40s add-judoc-howto
add-judoc-howto
November 28, 2023 12:17 4m 40s
Add howto for judoc Juvix Docs CI #365: Pull request #99 opened by janmasrovira
November 28, 2023 10:35 4m 15s add-judoc-howto
add-judoc-howto
November 28, 2023 10:35 4m 15s
Fix look and feel issues (#97) Juvix Docs CI #364: Commit 7d943ea pushed by jonaprieto
November 27, 2023 16:21 6m 2s main
main
November 27, 2023 16:21 6m 2s
Fix look and feel issues Juvix Docs CI #363: Pull request #97 synchronize by jonaprieto
November 27, 2023 14:51 4m 28s fix-look-and-feel-issues
fix-look-and-feel-issues
November 27, 2023 14:51 4m 28s
Fix look and feel issues Juvix Docs CI #362: Pull request #97 opened by jonaprieto
November 27, 2023 14:50 1m 22s fix-look-and-feel-issues
fix-look-and-feel-issues
November 27, 2023 14:50 1m 22s
Change Extension Docs to juvix.md Format (#94) Juvix Docs CI #361: Commit a8be08b pushed by jonaprieto
November 27, 2023 12:41 5m 19s main
main
November 27, 2023 12:41 5m 19s
Change Extension Docs to juvix.md Format Juvix Docs CI #360: Pull request #94 synchronize by agureev
November 27, 2023 10:23 4m 12s extension-doc-fix
extension-doc-fix
November 27, 2023 10:23 4m 12s
Update learn.md to learn.juvix.md (#93) Juvix Docs CI #359: Commit b9365d8 pushed by jonaprieto
November 24, 2023 21:12 5m 5s main
main
November 24, 2023 21:12 5m 5s
Change Extension Docs to juvix.md Format Juvix Docs CI #358: Pull request #94 synchronize by jonaprieto
November 24, 2023 21:04 4m 12s extension-doc-fix
extension-doc-fix
November 24, 2023 21:04 4m 12s
Update learn.md to learn.juvix.md Juvix Docs CI #357: Pull request #93 synchronize by jonaprieto
November 24, 2023 21:04 3m 59s highlight-tutorial
highlight-tutorial
November 24, 2023 21:04 3m 59s
Delete MidSquareHash.lisp File (#91) Juvix Docs CI #356: Commit 5f16f63 pushed by jonaprieto
November 24, 2023 21:04 5m 29s main
main
November 24, 2023 21:04 5m 29s
Delete MidSquareHash.lisp File Juvix Docs CI #355: Pull request #91 synchronize by jonaprieto
November 24, 2023 21:04 4m 4s lisp-file-r
lisp-file-r
November 24, 2023 21:04 4m 4s
First part of updates to .juvix files to be .juvix.md (#90) Juvix Docs CI #354: Commit 84334da pushed by jonaprieto
November 24, 2023 21:03 5m 28s main
main
November 24, 2023 21:03 5m 28s
Change Extension Docs to juvix.md Format Juvix Docs CI #353: Pull request #94 opened by agureev
November 24, 2023 09:55 4m 46s extension-doc-fix
extension-doc-fix
November 24, 2023 09:55 4m 46s
Update learn.md to learn.juvix.md Juvix Docs CI #352: Pull request #93 opened by agureev
November 23, 2023 14:21 4m 49s highlight-tutorial
highlight-tutorial
November 23, 2023 14:21 4m 49s
Delete MidSquareHash.lisp File Juvix Docs CI #351: Pull request #91 opened by agureev
November 21, 2023 17:09 5m 7s lisp-file-r
lisp-file-r
November 21, 2023 17:09 5m 7s
Update .juvix to be .juvix.md Juvix Docs CI #350: Pull request #90 synchronize by jonaprieto
November 21, 2023 12:30 4m 54s update-aliases-and-fixity
update-aliases-and-fixity
November 21, 2023 12:30 4m 54s
Update .juvix to be .juvix.md Juvix Docs CI #349: Pull request #90 synchronize by jonaprieto
November 21, 2023 10:07 5m 31s update-aliases-and-fixity
update-aliases-and-fixity
November 21, 2023 10:07 5m 31s
Update .juvix to be .juvix.md Juvix Docs CI #348: Pull request #90 synchronize by jonaprieto
November 20, 2023 23:20 2m 16s update-aliases-and-fixity
update-aliases-and-fixity
November 20, 2023 23:20 2m 16s
Update .juvix to be .juvix.md Juvix Docs CI #347: Pull request #90 synchronize by jonaprieto
November 20, 2023 23:17 2m 4s update-aliases-and-fixity
update-aliases-and-fixity
November 20, 2023 23:17 2m 4s
Update .juvix to be .juvix.md Juvix Docs CI #346: Pull request #90 synchronize by jonaprieto
November 20, 2023 23:06 4m 57s update-aliases-and-fixity
update-aliases-and-fixity
November 20, 2023 23:06 4m 57s
Update .juvix to be .juvix.md Juvix Docs CI #345: Pull request #90 synchronize by jonaprieto
November 20, 2023 23:04 2m 49s update-aliases-and-fixity
update-aliases-and-fixity
November 20, 2023 23:04 2m 49s
Update .juvix to be .juvix.md Juvix Docs CI #344: Pull request #90 synchronize by jonaprieto
November 20, 2023 20:32 4m 54s update-aliases-and-fixity
update-aliases-and-fixity
November 20, 2023 20:32 4m 54s