Skip to content

Actions: rzk-lang/rzk

Actions

GHC (build, test, haddock)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ghc.yml
219 workflow runs
219 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #193 from alicelogos/fix-tuple-pattern-syntax GHC (build, test, haddock) #219: Commit 94d2d07 pushed by fizruk
November 20, 2024 09:41 43m 47s develop
develop
November 20, 2024 09:41 43m 47s
Fix tuple pattern syntax GHC (build, test, haddock) #218: Pull request #193 opened by alicelogos
November 19, 2024 23:15 23m 7s alicelogos:fix-tuple-pattern-syntax
alicelogos:fix-tuple-pattern-syntax
November 19, 2024 23:15 23m 7s
Merge pull request #191 from alicelogos/fix-tuple-patterns GHC (build, test, haddock) #217: Commit 03c8d8e pushed by fizruk
November 7, 2024 12:45 41m 57s develop
develop
November 7, 2024 12:45 41m 57s
Fix tuple patterns in parameter declarations GHC (build, test, haddock) #216: Pull request #191 opened by alicelogos
November 6, 2024 22:54 25m 5s alicelogos:fix-tuple-patterns
alicelogos:fix-tuple-patterns
November 6, 2024 22:54 25m 5s
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