Skip to content

Actions: rzk-lang/rzk

Actions

GHCJS (build and deploy Rzk playground)

Actions

Loading...

Show workflow options

Create status badge

ghcjs.yml
393 workflow runs
393 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #185 from swamp-agr/main GHCJS (build and deploy Rzk playground) #481: Commit 51fb959 pushed by fizruk
August 27, 2024 08:04 19m 28s main
main
August 27, 2024 08:04 19m 28s
Merge branch 'release-v0.7.5' into develop GHCJS (build and deploy Rzk playground) #480: Commit 0d3070e pushed by fizruk
August 18, 2024 06:35 5m 3s develop
develop
August 18, 2024 06:35 5m 3s
Merge branch 'release-v0.7.5' GHCJS (build and deploy Rzk playground) #479: Commit 25dd17a pushed by fizruk
August 18, 2024 06:35 1m 44s v0.7.5
v0.7.5
August 18, 2024 06:35 1m 44s
Merge branch 'release-v0.7.5' GHCJS (build and deploy Rzk playground) #478: Commit 25dd17a pushed by fizruk
August 18, 2024 06:35 5m 36s main
main
August 18, 2024 06:35 5m 36s
Release v0.7.5 GHCJS (build and deploy Rzk playground) #477: Pull request #189 synchronize by fizruk
August 17, 2024 23:08 23m 13s release-v0.7.5
release-v0.7.5
August 17, 2024 23:08 23m 13s
Release v0.7.5 GHCJS (build and deploy Rzk playground) #476: Pull request #189 opened by fizruk
August 17, 2024 23:05 22m 37s release-v0.7.5
release-v0.7.5
August 17, 2024 23:05 22m 37s
Merge pull request #188 from rzk-lang/186-update-deps GHCJS (build and deploy Rzk playground) #475: Commit 6efd48e pushed by fizruk
August 17, 2024 22:57 23m 12s develop
develop
August 17, 2024 22:57 23m 12s
Support newer lsp GHCJS (build and deploy Rzk playground) #474: Pull request #188 synchronize by fizruk
August 17, 2024 22:32 23m 10s 186-update-deps
186-update-deps
August 17, 2024 22:32 23m 10s
Improve error reporting for unused variables GHCJS (build and deploy Rzk playground) #473: Commit 15f2508 pushed by fizruk
August 17, 2024 22:01 23m 30s main
main
August 17, 2024 22:01 23m 30s
Set a limit on WHNF computation depth GHCJS (build and deploy Rzk playground) #472: Pull request #187 opened by fizruk
June 11, 2024 12:59 23m 31s max-whnf-depth
max-whnf-depth
June 11, 2024 12:59 23m 31s
Merge pull request #184 from rzk-lang/fix-ci GHCJS (build and deploy Rzk playground) #471: Commit 013b412 pushed by fizruk
May 2, 2024 14:06 5m 20s develop
develop
May 2, 2024 14:06 5m 20s
Fix CI: update all actions GHCJS (build and deploy Rzk playground) #470: Pull request #184 synchronize by fizruk
May 2, 2024 07:48 1m 40s fix-ci
fix-ci
May 2, 2024 07:48 1m 40s
Fix CI: update all actions GHCJS (build and deploy Rzk playground) #469: Pull request #184 opened by fizruk
May 2, 2024 07:36 4m 49s fix-ci
fix-ci
May 2, 2024 07:36 4m 49s
Merge pull request #183 from geffk2/syntax-sugar-sigma-types GHCJS (build and deploy Rzk playground) #468: Commit 7a78f52 pushed by fizruk
May 2, 2024 07:30 4m 32s develop
develop
May 2, 2024 07:30 4m 32s
Add syntax sugar for nested sigma-types GHCJS (build and deploy Rzk playground) #467: Pull request #183 synchronize by fizruk
May 2, 2024 07:30 4m 25s geffk2:syntax-sugar-sigma-types
geffk2:syntax-sugar-sigma-types
May 2, 2024 07:30 4m 25s
Add syntax sugar for nested sigma-types GHCJS (build and deploy Rzk playground) #466: Pull request #183 synchronize by geffk2
May 1, 2024 16:03 4m 31s geffk2:syntax-sugar-sigma-types
geffk2:syntax-sugar-sigma-types
May 1, 2024 16:03 4m 31s
Add syntax sugar for nested sigma-types GHCJS (build and deploy Rzk playground) #465: Pull request #183 synchronize by geffk2
April 26, 2024 12:16 4m 26s geffk2:syntax-sugar-sigma-types
geffk2:syntax-sugar-sigma-types
April 26, 2024 12:16 4m 26s
GHCJS (build and deploy Rzk playground) GHCJS (build and deploy Rzk playground) #464: by fizruk
April 24, 2024 11:00 23m 31s develop
develop
April 24, 2024 11:00 23m 31s
Add syntax sugar for nested sigma-types GHCJS (build and deploy Rzk playground) #463: Pull request #183 synchronize by geffk2
April 19, 2024 17:09 4m 28s geffk2:syntax-sugar-sigma-types
geffk2:syntax-sugar-sigma-types
April 19, 2024 17:09 4m 28s
Add syntax sugar for nested sigma-types GHCJS (build and deploy Rzk playground) #462: Pull request #183 synchronize by geffk2
April 19, 2024 15:14 4m 24s geffk2:syntax-sugar-sigma-types
geffk2:syntax-sugar-sigma-types
April 19, 2024 15:14 4m 24s
Add syntax sugar for nested sigma-types GHCJS (build and deploy Rzk playground) #461: Pull request #183 synchronize by geffk2
April 19, 2024 14:42 4m 25s geffk2:syntax-sugar-sigma-types
geffk2:syntax-sugar-sigma-types
April 19, 2024 14:42 4m 25s
Add syntax sugar for nested sigma-types GHCJS (build and deploy Rzk playground) #460: Pull request #183 opened by geffk2
April 19, 2024 13:58 22m 53s geffk2:syntax-sugar-sigma-types
geffk2:syntax-sugar-sigma-types
April 19, 2024 13:58 22m 53s
Fix build of nix flake on aarch64-darwin GHCJS (build and deploy Rzk playground) #459: Pull request #181 opened by geffk2
April 15, 2024 22:12 23m 21s geffk2:fix-aarch64-darwin-build
geffk2:fix-aarch64-darwin-build
April 15, 2024 22:12 23m 21s
Merge pull request #179 from rzk-lang/improve-unused-vars-errors GHCJS (build and deploy Rzk playground) #458: Commit db2edb3 pushed by fizruk
April 5, 2024 13:44 4m 42s develop
develop
April 5, 2024 13:44 4m 42s
Improve error reporting for unused variables GHCJS (build and deploy Rzk playground) #457: Pull request #179 synchronize by fizruk
April 5, 2024 12:46 4m 34s improve-unused-vars-errors
improve-unused-vars-errors
April 5, 2024 12:46 4m 34s