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 documentation for Juvix 0.6.8 Juvix Docs CI #435: Pull request #124 synchronize by lukaszcz
November 5, 2024 18:11 1m 5s update-docs
update-docs
November 5, 2024 18:11 1m 5s
Update documentation for Juvix 0.6.8 Juvix Docs CI #434: Pull request #124 synchronize by lukaszcz
November 4, 2024 17:52 57s update-docs
update-docs
November 4, 2024 17:52 57s
Update documentation for Juvix 0.6.8 Juvix Docs CI #433: Pull request #124 opened by lukaszcz
November 4, 2024 15:44 59s update-docs
update-docs
November 4, 2024 15:44 59s
Juvix Docs CI Juvix Docs CI #432: Manually run by paulcadman
July 11, 2024 16:34 2m 18s main
main
July 11, 2024 16:34 2m 18s
Maintenance needed (#118) Juvix Docs CI #431: Commit 4834910 pushed by paulcadman
July 11, 2024 16:25 6m 50s main
main
July 11, 2024 16:25 6m 50s
Maintenance needed Juvix Docs CI #430: Pull request #118 closed by paulcadman
July 11, 2024 16:25 2m 30s maintenance-needed
maintenance-needed
July 11, 2024 16:25 2m 30s
Maintenance needed Juvix Docs CI #429: Pull request #118 synchronize by paulcadman
July 11, 2024 16:18 6m 38s maintenance-needed
maintenance-needed
July 11, 2024 16:18 6m 38s
Maintenance needed Juvix Docs CI #428: Pull request #118 synchronize by paulcadman
July 11, 2024 16:12 1m 50s maintenance-needed
maintenance-needed
July 11, 2024 16:12 1m 50s
Maintenance needed Juvix Docs CI #427: Pull request #118 synchronize by paulcadman
July 11, 2024 16:08 1m 5s maintenance-needed
maintenance-needed
July 11, 2024 16:08 1m 5s
Maintenance needed Juvix Docs CI #426: Pull request #118 synchronize by paulcadman
July 11, 2024 16:05 58s maintenance-needed
maintenance-needed
July 11, 2024 16:05 58s
Juvix Docs CI Juvix Docs CI #425: Manually run by lukaszcz
June 4, 2024 08:12 46m 56s main
main
June 4, 2024 08:12 46m 56s
Maintenance needed Juvix Docs CI #424: Pull request #118 synchronize by jonaprieto
June 3, 2024 04:58 46m 4s maintenance-needed
maintenance-needed
June 3, 2024 04:58 46m 4s
Juvix Docs CI Juvix Docs CI #423: Manually run by lukaszcz
May 17, 2024 11:17 49m 46s main
main
May 17, 2024 11:17 49m 46s
Tutorial: remove comments about extra modules (#119) Juvix Docs CI #422: Commit 5c6867c pushed by lukaszcz
May 17, 2024 11:16 15m 48s main
main
May 17, 2024 11:16 15m 48s
Tutorial: remove comments about extra modules Juvix Docs CI #421: Pull request #119 opened by lukaszcz
May 14, 2024 17:31 14m 39s lukaszcz-patch-1
lukaszcz-patch-1
May 14, 2024 17:31 14m 39s
Maintenance needed Juvix Docs CI #420: Pull request #118 synchronize by jonaprieto
April 19, 2024 16:57 11m 31s maintenance-needed
maintenance-needed
April 19, 2024 16:57 11m 31s
Maintenance needed Juvix Docs CI #419: Pull request #118 synchronize by jonaprieto
April 19, 2024 16:33 1m 41s maintenance-needed
maintenance-needed
April 19, 2024 16:33 1m 41s
Maintenance needed Juvix Docs CI #418: Pull request #118 synchronize by jonaprieto
April 19, 2024 16:19 18m 33s maintenance-needed
maintenance-needed
April 19, 2024 16:19 18m 33s
Maintenance needed Juvix Docs CI #417: Pull request #118 synchronize by jonaprieto
April 19, 2024 13:14 48m 2s maintenance-needed
maintenance-needed
April 19, 2024 13:14 48m 2s
Maintenance needed Juvix Docs CI #416: Pull request #118 synchronize by jonaprieto
April 19, 2024 13:10 1m 1s maintenance-needed
maintenance-needed
April 19, 2024 13:10 1m 1s
Maintenance needed Juvix Docs CI #415: Pull request #118 synchronize by jonaprieto
April 19, 2024 13:01 6m 11s maintenance-needed
maintenance-needed
April 19, 2024 13:01 6m 11s
Maintenance needed Juvix Docs CI #414: Pull request #118 opened by jonaprieto
April 19, 2024 12:55 1m 37s maintenance-needed
maintenance-needed
April 19, 2024 12:55 1m 37s
Disable material MkDocs privacy plugin (#117) Juvix Docs CI #413: Commit 23b4fe2 pushed by paulcadman
April 18, 2024 17:31 11m 17s main
main
April 18, 2024 17:31 11m 17s
Disable material MkDocs privacy plugin Juvix Docs CI #412: Pull request #117 opened by paulcadman
April 18, 2024 17:01 14m 15s remove-privacy-plugin
remove-privacy-plugin
April 18, 2024 17:01 14m 15s
Remove git-committers (#114) Juvix Docs CI #411: Commit 453bcd9 pushed by paulcadman
April 4, 2024 09:08 12m 30s main
main
April 4, 2024 09:08 12m 30s