Skip to content

Actions: anoma/juvix-docs

Actions

cleanup caches by a branch

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
clean-up-cache.yaml
46 workflow runs
46 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update traits reference cleanup caches by a branch #91: Pull request #130 closed by paulcadman
November 15, 2024 08:43 16s traits-update
traits-update
November 15, 2024 08:43 16s
Update tutorial title and intro cleanup caches by a branch #90: Pull request #129 closed by paulcadman
November 13, 2024 17:20 15s realistic-tutorial-title
realistic-tutorial-title
November 13, 2024 17:20 15s
Update codespace link cleanup caches by a branch #89: Pull request #128 closed by paulcadman
November 13, 2024 12:03 16s update-codespaces-link
update-codespaces-link
November 13, 2024 12:03 16s
Update documentation for Juvix 0.6.8 cleanup caches by a branch #88: Pull request #124 closed by paulcadman
November 12, 2024 13:02 14s update-docs
update-docs
November 12, 2024 13:02 14s
Maintenance needed cleanup caches by a branch #87: Pull request #118 closed by paulcadman
July 11, 2024 16:25 15s maintenance-needed
maintenance-needed
July 11, 2024 16:25 15s
Tutorial: remove comments about extra modules cleanup caches by a branch #86: Pull request #119 closed by lukaszcz
May 17, 2024 11:16 13s lukaszcz-patch-1
lukaszcz-patch-1
May 17, 2024 11:16 13s
Fix tutorial cleanup caches by a branch #85: Pull request #111 closed by jonaprieto
April 19, 2024 16:48 15s fix-tutorial
fix-tutorial
April 19, 2024 16:48 15s
Disable material MkDocs privacy plugin cleanup caches by a branch #84: Pull request #117 closed by paulcadman
April 18, 2024 17:31 13s remove-privacy-plugin
remove-privacy-plugin
April 18, 2024 17:31 13s
Remove git-committers cleanup caches by a branch #83: Pull request #114 closed by paulcadman
April 4, 2024 09:08 15s remove-git-committers
remove-git-committers
April 4, 2024 09:08 15s
Update for Juvix 0.6.1 cleanup caches by a branch #82: Pull request #112 closed by paulcadman
April 2, 2024 10:03 12s update-juvix-0.6.1
update-juvix-0.6.1
April 2, 2024 10:03 12s
Add documentation for updating records cleanup caches by a branch #81: Pull request #108 closed by jonaprieto
February 22, 2024 13:57 10s record-update
record-update
February 22, 2024 13:57 10s
Fix typechecking and links cleanup caches by a branch #80: Pull request #110 closed by jonaprieto
February 22, 2024 13:53 14s Fix-button
Fix-button
February 22, 2024 13:53 14s
Fix typos cleanup caches by a branch #79: Pull request #109 closed by jonaprieto
January 5, 2024 20:18 15s typos
typos
January 5, 2024 20:18 15s
Update VERSION cleanup caches by a branch #78: Pull request #106 closed by jonaprieto
December 1, 2023 19:50 16s jonaprieto-patch-2
jonaprieto-patch-2
December 1, 2023 19:50 16s
Uptage index.md to index.juvix.md cleanup caches by a branch #77: Pull request #105 closed by jonaprieto
December 1, 2023 19:20 12s index-update
index-update
December 1, 2023 19:20 12s
Update overview.md cleanup caches by a branch #76: Pull request #104 closed by jonaprieto
November 29, 2023 17:36 14s overview-mascot-fix
overview-mascot-fix
November 29, 2023 17:36 14s
Update README.md cleanup caches by a branch #75: Pull request #103 closed by jonaprieto
November 29, 2023 16:05 13s mascot-update
mascot-update
November 29, 2023 16:05 13s
Update ZKSummit Workshop Tutorial cleanup caches by a branch #74: Pull request #102 closed by jonaprieto
November 29, 2023 15:24 13s zks-tutorial
zks-tutorial
November 29, 2023 15:24 13s
Add howto for judoc cleanup caches by a branch #73: Pull request #99 closed by jonaprieto
November 29, 2023 11:54 17s add-judoc-howto
add-judoc-howto
November 29, 2023 11:54 17s
Fix compilation how to cleanup caches by a branch #72: Pull request #100 closed by jonaprieto
November 29, 2023 11:50 16s fix-compilation-how-to
fix-compilation-how-to
November 29, 2023 11:50 16s
Fix look and feel issues cleanup caches by a branch #71: Pull request #97 closed by jonaprieto
November 27, 2023 16:21 12s fix-look-and-feel-issues
fix-look-and-feel-issues
November 27, 2023 16:21 12s
Change Extension Docs to juvix.md Format cleanup caches by a branch #70: Pull request #94 closed by jonaprieto
November 27, 2023 12:41 13s extension-doc-fix
extension-doc-fix
November 27, 2023 12:41 13s
Update learn.md to learn.juvix.md cleanup caches by a branch #69: Pull request #93 closed by jonaprieto
November 24, 2023 21:12 14s highlight-tutorial
highlight-tutorial
November 24, 2023 21:12 14s
Delete MidSquareHash.lisp File cleanup caches by a branch #68: Pull request #91 closed by jonaprieto
November 24, 2023 21:04 12s lisp-file-r
lisp-file-r
November 24, 2023 21:04 12s
Update .juvix to be .juvix.md cleanup caches by a branch #67: Pull request #90 closed by jonaprieto
November 24, 2023 21:03 12s update-aliases-and-fixity
update-aliases-and-fixity
November 24, 2023 21:03 12s