Skip to content

Actions: rzk-lang/rzk

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,164 workflow runs
1,164 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #142: by github-pages bot
June 29, 2023 11:44 44s
June 29, 2023 11:44 44s
pages build and deployment pages-build-deployment #141: by github-pages bot
June 29, 2023 11:44 26s
June 29, 2023 11:44 26s
pages build and deployment pages-build-deployment #140: by fizruk
June 29, 2023 11:42 1m 22s
June 29, 2023 11:42 1m 22s
v0.5.1 Create Release Binaries #8: Release v0.5.1 published by fizruk
June 29, 2023 11:37 15m 49s
June 29, 2023 11:37 15m 49s
pages build and deployment pages-build-deployment #139: by github-pages bot
June 29, 2023 11:37 1m 23s
June 29, 2023 11:37 1m 23s
Merge branch 'release-v0.5.1' into develop GHCJS (build and deploy Rzk playground) #124: Commit 9d96605 pushed by fizruk
June 29, 2023 11:36 8m 47s develop
develop
June 29, 2023 11:36 8m 47s
Merge branch 'release-v0.5.1' into develop MKDocs #62: Commit 9d96605 pushed by fizruk
June 29, 2023 11:36 1m 0s develop
develop
June 29, 2023 11:36 1m 0s
Merge branch 'release-v0.5.1' MKDocs #61: Commit aede460 pushed by fizruk
June 29, 2023 11:36 58s v0.5.1
v0.5.1
June 29, 2023 11:36 58s
Merge branch 'release-v0.5.1' GHCJS (build and deploy Rzk playground) #123: Commit aede460 pushed by fizruk
June 29, 2023 11:36 11m 45s v0.5.1
v0.5.1
June 29, 2023 11:36 11m 45s
Merge branch 'release-v0.5.1' Build and Deploy Haddock to GitHub Pages #64: Commit aede460 pushed by fizruk
June 29, 2023 11:36 12m 48s main
main
June 29, 2023 11:36 12m 48s
Merge branch 'release-v0.5.1' GHCJS (build and deploy Rzk playground) #122: Commit aede460 pushed by fizruk
June 29, 2023 11:36 8m 25s main
main
June 29, 2023 11:36 8m 25s
Release v0.5.1 GHCJS (build and deploy Rzk playground) #121: Pull request #59 opened by fizruk
June 29, 2023 11:35 10m 4s release-v0.5.1
release-v0.5.1
June 29, 2023 11:35 10m 4s
pages build and deployment pages-build-deployment #138: by github-pages bot
June 29, 2023 11:28 1m 23s
June 29, 2023 11:28 1m 23s
Update documentation MKDocs #60: Commit ea2d176 pushed by fizruk
June 29, 2023 11:28 52s develop
develop
June 29, 2023 11:28 52s
pages build and deployment pages-build-deployment #137: by github-pages bot
June 29, 2023 10:17 1m 31s
June 29, 2023 10:17 1m 31s
pages build and deployment pages-build-deployment #136: by fizruk
June 29, 2023 10:01 1m 22s
June 29, 2023 10:01 1m 22s
pages build and deployment pages-build-deployment #135: by fizruk
June 29, 2023 09:57 1m 36s
June 29, 2023 09:57 1m 36s
pages build and deployment pages-build-deployment #134: by github-pages bot
June 29, 2023 09:55 1m 23s
June 29, 2023 09:55 1m 23s
Use fetch-depth: 0 MKDocs #59: Commit a52e757 pushed by fizruk
June 29, 2023 09:54 1m 13s develop
develop
June 29, 2023 09:54 1m 13s
Use fetch_depth: 0 MKDocs #58: Commit 7666ca4 pushed by fizruk
June 29, 2023 09:52 41s develop
develop
June 29, 2023 09:52 41s
Rebase but do not force push MKDocs #57: Commit 655b61a pushed by fizruk
June 29, 2023 09:49 38s develop
develop
June 29, 2023 09:49 38s
Do not rebase when deploying with mike MKDocs #56: Commit 4ab3a59 pushed by fizruk
June 29, 2023 09:46 39s develop
develop
June 29, 2023 09:46 39s
pages build and deployment pages-build-deployment #133: by fizruk
June 29, 2023 08:57 1m 28s
June 29, 2023 08:57 1m 28s
pages build and deployment pages-build-deployment #132: by github-pages bot
June 29, 2023 08:26 38s
June 29, 2023 08:26 38s
Do not deploy docs for main, deploy tags as latest MKDocs #55: Commit 460237a pushed by fizruk
June 29, 2023 08:25 44s develop
develop
June 29, 2023 08:25 44s
ProTip! You can narrow down the results and go further in time using created:<2023-06-29 or the other filters available.