Skip to content

Actions: rzk-lang/rzk

Actions

GHC (build, test, haddock)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ghc.yml
215 workflow runs
215 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #185 from swamp-agr/main GHC (build, test, haddock) #215: Commit 51fb959 pushed by fizruk
August 27, 2024 08:04 26m 16s main
main
August 27, 2024 08:04 26m 16s
Merge branch 'release-v0.7.5' into develop GHC (build, test, haddock) #214: Commit 0d3070e pushed by fizruk
August 18, 2024 06:35 46m 25s develop
develop
August 18, 2024 06:35 46m 25s
Merge branch 'release-v0.7.5' GHC (build, test, haddock) #213: Commit 25dd17a pushed by fizruk
August 18, 2024 06:35 23m 42s v0.7.5
v0.7.5
August 18, 2024 06:35 23m 42s
Merge branch 'release-v0.7.5' GHC (build, test, haddock) #212: Commit 25dd17a pushed by fizruk
August 18, 2024 06:35 22m 42s main
main
August 18, 2024 06:35 22m 42s
Release v0.7.5 GHC (build, test, haddock) #211: Pull request #189 synchronize by fizruk
August 17, 2024 23:08 25m 0s release-v0.7.5
release-v0.7.5
August 17, 2024 23:08 25m 0s
Release v0.7.5 GHC (build, test, haddock) #210: Pull request #189 opened by fizruk
August 17, 2024 23:05 24m 27s release-v0.7.5
release-v0.7.5
August 17, 2024 23:05 24m 27s
Merge pull request #188 from rzk-lang/186-update-deps GHC (build, test, haddock) #209: Commit 6efd48e pushed by fizruk
August 17, 2024 22:57 5m 55s develop
develop
August 17, 2024 22:57 5m 55s
Support newer lsp GHC (build, test, haddock) #208: Pull request #188 synchronize by fizruk
August 17, 2024 22:32 24m 46s 186-update-deps
186-update-deps
August 17, 2024 22:32 24m 46s
Improve error reporting for unused variables GHC (build, test, haddock) #207: Commit 15f2508 pushed by fizruk
August 17, 2024 22:01 33s main
main
August 17, 2024 22:01 33s
Set a limit on WHNF computation depth GHC (build, test, haddock) #206: Pull request #187 opened by fizruk
June 11, 2024 12:59 23m 9s max-whnf-depth
max-whnf-depth
June 11, 2024 12:59 23m 9s
Merge pull request #184 from rzk-lang/fix-ci GHC (build, test, haddock) #205: Commit 013b412 pushed by fizruk
May 2, 2024 14:06 40m 27s develop
develop
May 2, 2024 14:06 40m 27s
Fix CI: update all actions GHC (build, test, haddock) #204: Pull request #184 synchronize by fizruk
May 2, 2024 07:48 29m 30s fix-ci
fix-ci
May 2, 2024 07:48 29m 30s
Fix CI: update all actions GHC (build, test, haddock) #203: Pull request #184 opened by fizruk
May 2, 2024 07:36 5s fix-ci
fix-ci
May 2, 2024 07:36 5s
Merge pull request #183 from geffk2/syntax-sugar-sigma-types GHC (build, test, haddock) #202: Commit 7a78f52 pushed by fizruk
May 2, 2024 07:30 33s develop
develop
May 2, 2024 07:30 33s
Add syntax sugar for nested sigma-types GHC (build, test, haddock) #201: Pull request #183 synchronize by fizruk
May 2, 2024 07:30 34s geffk2:syntax-sugar-sigma-types
geffk2:syntax-sugar-sigma-types
May 2, 2024 07:30 34s
Add syntax sugar for nested sigma-types GHC (build, test, haddock) #200: Pull request #183 synchronize by geffk2
May 1, 2024 16:03 35s geffk2:syntax-sugar-sigma-types
geffk2:syntax-sugar-sigma-types
May 1, 2024 16:03 35s
Add syntax sugar for nested sigma-types GHC (build, test, haddock) #199: Pull request #183 synchronize by geffk2
April 26, 2024 12:16 7m 26s geffk2:syntax-sugar-sigma-types
geffk2:syntax-sugar-sigma-types
April 26, 2024 12:16 7m 26s
Add syntax sugar for nested sigma-types GHC (build, test, haddock) #198: Pull request #183 synchronize by geffk2
April 19, 2024 17:09 21m 13s geffk2:syntax-sugar-sigma-types
geffk2:syntax-sugar-sigma-types
April 19, 2024 17:09 21m 13s
Add syntax sugar for nested sigma-types GHC (build, test, haddock) #197: Pull request #183 synchronize by geffk2
April 19, 2024 15:14 2m 59s geffk2:syntax-sugar-sigma-types
geffk2:syntax-sugar-sigma-types
April 19, 2024 15:14 2m 59s
Add syntax sugar for nested sigma-types GHC (build, test, haddock) #196: Pull request #183 synchronize by geffk2
April 19, 2024 14:42 3m 1s geffk2:syntax-sugar-sigma-types
geffk2:syntax-sugar-sigma-types
April 19, 2024 14:42 3m 1s
Add syntax sugar for nested sigma-types GHC (build, test, haddock) #195: Pull request #183 opened by geffk2
April 19, 2024 13:58 15m 52s geffk2:syntax-sugar-sigma-types
geffk2:syntax-sugar-sigma-types
April 19, 2024 13:58 15m 52s
Merge pull request #179 from rzk-lang/improve-unused-vars-errors GHC (build, test, haddock) #194: Commit db2edb3 pushed by fizruk
April 5, 2024 13:44 29m 6s develop
develop
April 5, 2024 13:44 29m 6s
Improve error reporting for unused variables GHC (build, test, haddock) #193: Pull request #179 synchronize by fizruk
April 5, 2024 12:46 6m 10s improve-unused-vars-errors
improve-unused-vars-errors
April 5, 2024 12:46 6m 10s
Improve error reporting for unused variables GHC (build, test, haddock) #192: Pull request #179 opened by fizruk
April 5, 2024 10:20 6m 20s improve-unused-vars-errors
improve-unused-vars-errors
April 5, 2024 10:20 6m 20s
Merge pull request #178 from rzk-lang/tiny-docs-fixes-2024-04-04 GHC (build, test, haddock) #191: Commit 1450c1c pushed by fizruk
April 4, 2024 15:38 26m 58s develop
develop
April 4, 2024 15:38 26m 58s