Skip to content

Actions: rzk-lang/rzk

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
770 workflow runs
770 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #176 from rzk-lang/better-parse-error-diagnostics GHCJS (build and deploy Rzk playground) #453: Commit d522791 pushed by fizruk
April 2, 2024 13:28 4m 43s develop
develop
April 2, 2024 13:28 4m 43s
Report correct location for parse error diagnostics (Language Server) GHC (build, test, haddock) #188: Pull request #176 opened by fizruk
April 2, 2024 13:16 6m 12s better-parse-error-diagnostics
better-parse-error-diagnostics
April 2, 2024 13:16 6m 12s
Report correct location for parse error diagnostics (Language Server) GHCJS (build and deploy Rzk playground) #452: Pull request #176 opened by fizruk
April 2, 2024 13:16 4m 23s better-parse-error-diagnostics
better-parse-error-diagnostics
April 2, 2024 13:16 4m 23s
pages build and deployment pages-build-deployment #408: by github-pages bot
April 1, 2024 18:53 1m 2s gh-pages
gh-pages
April 1, 2024 18:53 1m 2s
pages build and deployment pages-build-deployment #407: by github-pages bot
April 1, 2024 18:30 1m 8s gh-pages
gh-pages
April 1, 2024 18:30 1m 8s
pages build and deployment pages-build-deployment #406: by github-pages bot
April 1, 2024 18:30 16s gh-pages
gh-pages
April 1, 2024 18:30 16s
pages build and deployment pages-build-deployment #405: by github-pages bot
April 1, 2024 18:30 12s gh-pages
gh-pages
April 1, 2024 18:30 12s
v0.7.4 Release #9: Release v0.7.4 published by fizruk
April 1, 2024 18:26 8m 17s
April 1, 2024 18:26 8m 17s
pages build and deployment pages-build-deployment #404: by github-pages bot
April 1, 2024 18:26 1m 7s gh-pages
gh-pages
April 1, 2024 18:26 1m 7s
pages build and deployment pages-build-deployment #403: by github-pages bot
April 1, 2024 18:26 10s gh-pages
gh-pages
April 1, 2024 18:26 10s
Merge branch 'release-v0.7.4' into develop GHC (build, test, haddock) #187: Commit 8471ad0 pushed by fizruk
April 1, 2024 18:26 27m 10s develop
develop
April 1, 2024 18:26 27m 10s
Merge branch 'release-v0.7.4' into develop GHCJS (build and deploy Rzk playground) #451: Commit 8471ad0 pushed by fizruk
April 1, 2024 18:26 4m 59s develop
develop
April 1, 2024 18:26 4m 59s
Merge branch 'release-v0.7.4' MKDocs #155: Commit 0ac6736 pushed by fizruk
April 1, 2024 18:26 47s v0.7.4
v0.7.4
April 1, 2024 18:26 47s
Merge branch 'release-v0.7.4' GHC (build, test, haddock) #186: Commit 0ac6736 pushed by fizruk
April 1, 2024 18:26 6m 38s v0.7.4
v0.7.4
April 1, 2024 18:26 6m 38s
Merge branch 'release-v0.7.4' GHCJS (build and deploy Rzk playground) #450: Commit 0ac6736 pushed by fizruk
April 1, 2024 18:26 5m 2s v0.7.4
v0.7.4
April 1, 2024 18:26 5m 2s
Merge branch 'release-v0.7.4' GHC (build, test, haddock) #185: Commit 0ac6736 pushed by fizruk
April 1, 2024 18:26 6m 51s main
main
April 1, 2024 18:26 6m 51s
Merge branch 'release-v0.7.4' GHCJS (build and deploy Rzk playground) #449: Commit 0ac6736 pushed by fizruk
April 1, 2024 18:26 4m 28s main
main
April 1, 2024 18:26 4m 28s
pages build and deployment pages-build-deployment #402: by github-pages bot
April 1, 2024 18:22 1m 1s gh-pages
gh-pages
April 1, 2024 18:22 1m 1s
Release v0.7.4 GHC (build, test, haddock) #184: Pull request #175 opened by fizruk
April 1, 2024 18:17 6m 35s release-v0.7.4
release-v0.7.4
April 1, 2024 18:17 6m 35s
Release v0.7.4 GHCJS (build and deploy Rzk playground) #448: Pull request #175 opened by fizruk
April 1, 2024 18:17 4m 45s release-v0.7.4
release-v0.7.4
April 1, 2024 18:17 4m 45s
pages build and deployment pages-build-deployment #401: by github-pages bot
April 1, 2024 18:09 1m 10s gh-pages
gh-pages
April 1, 2024 18:09 1m 10s
Merge pull request #167 from rzk-lang/fix/skipping-file-after-typerror GHCJS (build and deploy Rzk playground) #447: Commit cf4f138 pushed by fizruk
April 1, 2024 18:04 4m 42s develop
develop
April 1, 2024 18:04 4m 42s
Merge pull request #167 from rzk-lang/fix/skipping-file-after-typerror GHC (build, test, haddock) #183: Commit cf4f138 pushed by fizruk
April 1, 2024 18:04 26m 25s develop
develop
April 1, 2024 18:04 26m 25s
pages build and deployment pages-build-deployment #400: by github-pages bot
April 1, 2024 17:52 1m 6s gh-pages
gh-pages
April 1, 2024 17:52 1m 6s
Fix skipping to typechecking the next file if the current has an error GHCJS (build and deploy Rzk playground) #446: Pull request #167 synchronize by fizruk
April 1, 2024 17:29 23m 40s fix/skipping-file-after-typerror
fix/skipping-file-after-typerror
April 1, 2024 17:29 23m 40s