Skip to content

Actions: rzk-lang/rzk

Actions

GHCJS (build and deploy Rzk playground)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ghcjs.yml
121 workflow runs
121 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Split the space edits around bin ops into 2 GHCJS (build and deploy Rzk playground) #412: Pull request #160 opened by aabounegm
December 14, 2023 09:00 4m 33s fix/overlapping-edits
fix/overlapping-edits
December 14, 2023 09:00 4m 33s
Skip typechecking when the decls have not changed GHCJS (build and deploy Rzk playground) #411: Pull request #159 opened by aabounegm
December 13, 2023 11:53 4m 53s detect-decl-changes
detect-decl-changes
December 13, 2023 11:53 4m 53s
Merge branch 'release-v0.7.2' into develop GHCJS (build and deploy Rzk playground) #410: Commit 0e0f862 pushed by fizruk
December 12, 2023 10:37 5m 40s develop
develop
December 12, 2023 10:37 5m 40s
Merge branch 'release-v0.7.2' GHCJS (build and deploy Rzk playground) #409: Commit 4adb752 pushed by fizruk
December 12, 2023 10:36 5m 38s v0.7.2
v0.7.2
December 12, 2023 10:36 5m 38s
Merge branch 'release-v0.7.2' GHCJS (build and deploy Rzk playground) #408: Commit 4adb752 pushed by fizruk
December 12, 2023 10:36 1m 56s main
main
December 12, 2023 10:36 1m 56s
Release v0.7.2 GHCJS (build and deploy Rzk playground) #407: Pull request #158 synchronize by fizruk
December 12, 2023 10:34 4m 53s release-v0.7.2
release-v0.7.2
December 12, 2023 10:34 4m 53s
Release v0.7.2 GHCJS (build and deploy Rzk playground) #406: Pull request #158 opened by fizruk
December 12, 2023 10:33 4m 55s release-v0.7.2
release-v0.7.2
December 12, 2023 10:33 4m 55s
Merge pull request #156 from rzk-lang/use-line-tokens GHCJS (build and deploy Rzk playground) #405: Commit 170ba15 pushed by aabounegm
December 11, 2023 23:41 4m 54s develop
develop
December 11, 2023 23:41 4m 54s
Replace line string content with tokens when checking open parens GHCJS (build and deploy Rzk playground) #404: Pull request #156 synchronize by aabounegm
December 11, 2023 23:22 4m 31s use-line-tokens
use-line-tokens
December 11, 2023 23:22 4m 31s
Merge pull request #154 from rzk-lang/hotfix/empty-include GHCJS (build and deploy Rzk playground) #403: Commit 0aa6816 pushed by aabounegm
December 11, 2023 23:21 5m 12s develop
develop
December 11, 2023 23:21 5m 12s
Formatter unit tests GHCJS (build and deploy Rzk playground) #402: Pull request #157 opened by aabounegm
December 11, 2023 21:14 5m 16s unit-testing
unit-testing
December 11, 2023 21:14 5m 16s
Replace line string content with tokens when checking open parens GHCJS (build and deploy Rzk playground) #401: Pull request #156 opened by aabounegm
December 11, 2023 13:25 4m 30s use-line-tokens
use-line-tokens
December 11, 2023 13:25 4m 30s
Throw an error when rzk.yaml include is empty GHCJS (build and deploy Rzk playground) #400: Pull request #154 synchronize by fizruk
December 11, 2023 12:09 4m 34s hotfix/empty-include
hotfix/empty-include
December 11, 2023 12:09 4m 34s
Throw an error when rzk.yaml include is empty GHCJS (build and deploy Rzk playground) #399: Pull request #154 synchronize by fizruk
December 11, 2023 12:09 4m 39s hotfix/empty-include
hotfix/empty-include
December 11, 2023 12:09 4m 39s
Merge pull request #155 from rzk-lang/hotfix/format-paren-space GHCJS (build and deploy Rzk playground) #398: Commit 127da4e pushed by fizruk
December 11, 2023 12:07 5m 13s develop
develop
December 11, 2023 12:07 5m 13s
Fix extra space after open parens in formatter GHCJS (build and deploy Rzk playground) #397: Pull request #155 opened by aabounegm
December 10, 2023 22:11 4m 32s hotfix/format-paren-space
hotfix/format-paren-space
December 10, 2023 22:11 4m 32s
Throw an error when rzk.yaml include is empty GHCJS (build and deploy Rzk playground) #396: Pull request #154 synchronize by fizruk
December 10, 2023 13:23 4m 40s hotfix/empty-include
hotfix/empty-include
December 10, 2023 13:23 4m 40s
Throw an error when rzk.yaml include is empty GHCJS (build and deploy Rzk playground) #395: Pull request #154 opened by aabounegm
December 10, 2023 10:10 4m 51s hotfix/empty-include
hotfix/empty-include
December 10, 2023 10:10 4m 51s
Merge branch 'release-v0.7.1' into develop GHCJS (build and deploy Rzk playground) #394: Commit 50d693b pushed by fizruk
December 8, 2023 14:07 5m 22s develop
develop
December 8, 2023 14:07 5m 22s
Merge branch 'release-v0.7.1' GHCJS (build and deploy Rzk playground) #393: Commit eabfe3c pushed by fizruk
December 8, 2023 14:07 5m 22s v0.7.1
v0.7.1
December 8, 2023 14:07 5m 22s
Merge branch 'release-v0.7.1' GHCJS (build and deploy Rzk playground) #392: Commit eabfe3c pushed by fizruk
December 8, 2023 14:07 5m 6s main
main
December 8, 2023 14:07 5m 6s
Release v0.7.1 GHCJS (build and deploy Rzk playground) #391: Pull request #149 opened by fizruk
December 8, 2023 14:04 4m 50s release-v0.7.1
release-v0.7.1
December 8, 2023 14:04 4m 50s
Fix the LSP flag/CPP GHCJS (build and deploy Rzk playground) #390: Commit 9b78a15 pushed by fizruk
December 8, 2023 13:55 5m 25s develop
develop
December 8, 2023 13:55 5m 25s
Fix rzk/ChangeLog.md GHCJS (build and deploy Rzk playground) #389: Commit 2644541 pushed by fizruk
December 8, 2023 13:31 5m 10s develop
develop
December 8, 2023 13:31 5m 10s
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