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
42 workflow runs
42 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update traits.juvix.md for new instance termination criterion cleanup caches by a branch #97: Pull request #137 closed by lukaszcz
January 21, 2025 14:49 14s lukaszcz-patch-1-1
lukaszcz-patch-1-1
January 21, 2025 14:49 14s
Review essential tutorial content cleanup caches by a branch #96: Pull request #135 closed by lukaszcz
January 14, 2025 12:15 15s jonathan/proof-read
jonathan/proof-read
January 14, 2025 12:15 15s
remove consent cleanup caches by a branch #95: Pull request #136 closed by lukaszcz
January 7, 2025 10:48 12s remove-consent
remove-consent
January 7, 2025 10:48 12s
Essential Juvix tutorial cleanup caches by a branch #94: Pull request #134 closed by paulcadman
December 23, 2024 10:06 17s essential-juvix-tutorial
essential-juvix-tutorial
December 23, 2024 10:06 17s
Remove Discord links cleanup caches by a branch #93: Pull request #132 closed by jonaprieto
November 27, 2024 15:42 20s remove-discord-links
remove-discord-links
November 27, 2024 15:42 20s
Make all pages accessible without going through the navigation menu cleanup caches by a branch #92: Pull request #131 closed by paulcadman
November 27, 2024 09:12 12s more-links
more-links
November 27, 2024 09:12 12s
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