Skip to content

Actions: rzk-lang/rzk

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
496 workflow runs
496 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

v0.7.0 Release #5: Release v0.7.0 published by fizruk
December 8, 2023 12:57 17m 39s
December 8, 2023 12:57 17m 39s
Fix MkDocs workflow: remove --rebase for mike GHCJS (build and deploy Rzk playground) #388: Commit 372328b pushed by fizruk
December 8, 2023 12:56 2m 23s v0.7.0
v0.7.0
December 8, 2023 12:56 2m 23s
Fix MkDocs workflow: remove --rebase for mike MKDocs #112: Commit 372328b pushed by fizruk
December 8, 2023 12:56 51s v0.7.0
v0.7.0
December 8, 2023 12:56 51s
Fix MkDocs workflow: remove --rebase for mike GHC (build, test, haddock) #93: Commit 372328b pushed by fizruk
December 8, 2023 12:56 16m 45s v0.7.0
v0.7.0
December 8, 2023 12:56 16m 45s
pages build and deployment pages-build-deployment #290: by github-pages bot
December 8, 2023 12:51 1m 48s gh-pages
gh-pages
December 8, 2023 12:51 1m 48s
Fix MkDocs workflow: remove --rebase for mike MKDocs #111: Commit 13759e8 pushed by fizruk
December 8, 2023 12:50 59s develop
develop
December 8, 2023 12:50 59s
pages build and deployment pages-build-deployment #289: by github-pages bot
December 8, 2023 12:48 1m 51s gh-pages
gh-pages
December 8, 2023 12:48 1m 51s
pages build and deployment pages-build-deployment #288: by github-pages bot
December 8, 2023 12:48 10s gh-pages
gh-pages
December 8, 2023 12:48 10s
pages build and deployment pages-build-deployment #287: by github-pages bot
December 8, 2023 12:47 24s gh-pages
gh-pages
December 8, 2023 12:47 24s
Release Release #4: published by fizruk
December 8, 2023 12:43 14m 44s
December 8, 2023 12:43 14m 44s
Merge branch 'release-v0.7.0' into develop MKDocs #110: Commit 1421c13 pushed by fizruk
December 8, 2023 12:43 46s develop
develop
December 8, 2023 12:43 46s
Merge branch 'release-v0.7.0' into develop GHCJS (build and deploy Rzk playground) #387: Commit 1421c13 pushed by fizruk
December 8, 2023 12:43 4m 51s develop
develop
December 8, 2023 12:43 4m 51s
Merge branch 'release-v0.7.0' into develop GHC (build, test, haddock) #92: Commit 1421c13 pushed by fizruk
December 8, 2023 12:43 35m 47s develop
develop
December 8, 2023 12:43 35m 47s
Merge branch 'release-v0.7.0' GHC (build, test, haddock) #91: Commit 56f8621 pushed by fizruk
December 8, 2023 12:42 16m 36s v0.7.0
v0.7.0
December 8, 2023 12:42 16m 36s
Merge branch 'release-v0.7.0' MKDocs #109: Commit 56f8621 pushed by fizruk
December 8, 2023 12:42 54s v0.7.0
v0.7.0
December 8, 2023 12:42 54s
Merge branch 'release-v0.7.0' GHCJS (build and deploy Rzk playground) #386: Commit 56f8621 pushed by fizruk
December 8, 2023 12:42 5m 55s v0.7.0
v0.7.0
December 8, 2023 12:42 5m 55s
Merge branch 'release-v0.7.0' GHCJS (build and deploy Rzk playground) #385: Commit 56f8621 pushed by fizruk
December 8, 2023 12:42 5m 34s main
main
December 8, 2023 12:42 5m 34s
Merge branch 'release-v0.7.0' GHC (build, test, haddock) #90: Commit 56f8621 pushed by fizruk
December 8, 2023 12:42 18m 26s main
main
December 8, 2023 12:42 18m 26s
Release v0.7.0 GHCJS (build and deploy Rzk playground) #384: Pull request #146 synchronize by fizruk
December 8, 2023 12:10 2m 1s release-v0.7.0
release-v0.7.0
December 8, 2023 12:10 2m 1s
Release v0.7.0 GHC (build, test, haddock) #89: Pull request #146 synchronize by fizruk
December 8, 2023 12:10 17m 45s release-v0.7.0
release-v0.7.0
December 8, 2023 12:10 17m 45s
pages build and deployment pages-build-deployment #286: by github-pages bot
December 8, 2023 12:03 2m 17s gh-pages
gh-pages
December 8, 2023 12:03 2m 17s
Release v0.7.0 GHC (build, test, haddock) #88: Pull request #146 opened by fizruk
December 8, 2023 11:50 6m 49s release-v0.7.0
release-v0.7.0
December 8, 2023 11:50 6m 49s
Release v0.7.0 GHCJS (build and deploy Rzk playground) #383: Pull request #146 opened by fizruk
December 8, 2023 11:50 4m 53s release-v0.7.0
release-v0.7.0
December 8, 2023 11:50 4m 53s
pages build and deployment pages-build-deployment #285: by github-pages bot
December 8, 2023 11:40 1m 59s gh-pages
gh-pages
December 8, 2023 11:40 1m 59s
Merge pull request #144 from rzk-lang/formatter GHCJS (build and deploy Rzk playground) #382: Commit 46e80df pushed by fizruk
December 8, 2023 11:17 23m 33s develop
develop
December 8, 2023 11:17 23m 33s
ProTip! You can narrow down the results and go further in time using created:<2023-12-08 or the other filters available.