Skip to content

Actions: anoma/juvix-docs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
415 workflow runs
415 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #445: by github-pages bot
January 22, 2025 12:31 41s gh-pages
gh-pages
January 22, 2025 12:31 41s
pages build and deployment pages-build-deployment #444: by github-pages bot
January 22, 2025 09:47 49s gh-pages
gh-pages
January 22, 2025 09:47 49s
pages build and deployment pages-build-deployment #443: by github-pages bot
January 22, 2025 09:46 24s gh-pages
gh-pages
January 22, 2025 09:46 24s
pages build and deployment pages-build-deployment #442: by github-pages bot
January 22, 2025 09:46 39s gh-pages
gh-pages
January 22, 2025 09:46 39s
Juvix Docs CI Juvix Docs CI #510: Manually run by lukaszcz
January 22, 2025 09:44 3m 1s main
main
January 22, 2025 09:44 3m 1s
pages build and deployment pages-build-deployment #441: by github-pages bot
January 21, 2025 14:51 42s gh-pages
gh-pages
January 21, 2025 14:51 42s
pages build and deployment pages-build-deployment #440: by github-pages bot
January 21, 2025 14:51 30s gh-pages
gh-pages
January 21, 2025 14:51 30s
Update traits.juvix.md for new instance termination criterion (#137) Juvix Docs CI #509: Commit 530a8ad pushed by lukaszcz
January 21, 2025 14:49 2m 48s main
main
January 21, 2025 14:49 2m 48s
Update traits.juvix.md for new instance termination criterion Juvix Docs CI #508: Pull request #137 closed by lukaszcz
January 21, 2025 14:49 2m 56s lukaszcz-patch-1-1
lukaszcz-patch-1-1
January 21, 2025 14:49 2m 56s
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
pages build and deployment pages-build-deployment #439: by github-pages bot
January 21, 2025 13:05 40s gh-pages
gh-pages
January 21, 2025 13:05 40s
Update traits.juvix.md for new instance termination criterion Juvix Docs CI #507: Pull request #137 opened by lukaszcz
January 21, 2025 13:02 3m 37s lukaszcz-patch-1-1
lukaszcz-patch-1-1
January 21, 2025 13:02 3m 37s
pages build and deployment pages-build-deployment #438: by github-pages bot
January 16, 2025 13:10 40s gh-pages
gh-pages
January 16, 2025 13:10 40s
pages build and deployment pages-build-deployment #437: by github-pages bot
January 16, 2025 13:10 21s gh-pages
gh-pages
January 16, 2025 13:10 21s
pages build and deployment pages-build-deployment #436: by github-pages bot
January 16, 2025 13:09 36s gh-pages
gh-pages
January 16, 2025 13:09 36s
Juvix Docs CI Juvix Docs CI #506: Manually run by lukaszcz
January 16, 2025 13:07 3m 12s main
main
January 16, 2025 13:07 3m 12s
pages build and deployment pages-build-deployment #435: by github-pages bot
January 14, 2025 12:18 5m 36s gh-pages
gh-pages
January 14, 2025 12:18 5m 36s
pages build and deployment pages-build-deployment #434: by github-pages bot
January 14, 2025 12:18 5m 6s gh-pages
gh-pages
January 14, 2025 12:18 5m 6s
Review essential tutorial content Juvix Docs CI #505: Pull request #135 closed by lukaszcz
January 14, 2025 12:15 2m 50s jonathan/proof-read
jonathan/proof-read
January 14, 2025 12:15 2m 50s
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
Review essential tutorial content (#135) Juvix Docs CI #504: Commit e831d99 pushed by lukaszcz
January 14, 2025 12:15 2m 45s main
main
January 14, 2025 12:15 2m 45s
pages build and deployment pages-build-deployment #433: by github-pages bot
January 14, 2025 11:33 35s gh-pages
gh-pages
January 14, 2025 11:33 35s
Review essential tutorial content Juvix Docs CI #503: Pull request #135 synchronize by lukaszcz
January 14, 2025 11:30 3m 5s jonathan/proof-read
jonathan/proof-read
January 14, 2025 11:30 3m 5s
pages build and deployment pages-build-deployment #432: by github-pages bot
January 14, 2025 11:19 52s gh-pages
gh-pages
January 14, 2025 11:19 52s
Review essential tutorial content Juvix Docs CI #502: Pull request #135 synchronize by lukaszcz
January 14, 2025 11:16 2m 46s jonathan/proof-read
jonathan/proof-read
January 14, 2025 11:16 2m 46s