Skip to content

Actions: rzk-lang/rzk

GHC (build, test, haddock)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
215 workflow runs
215 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'release-v0.7.3' into develop
GHC (build, test, haddock) #165: Commit 8c6bdfd pushed by fizruk
December 16, 2023 11:06 36m 42s develop
December 16, 2023 11:06 36m 42s
Merge branch 'release-v0.7.3'
GHC (build, test, haddock) #164: Commit 8e0af0c pushed by fizruk
December 16, 2023 11:06 18m 26s v0.7.3
December 16, 2023 11:06 18m 26s
Merge branch 'release-v0.7.3'
GHC (build, test, haddock) #163: Commit 8e0af0c pushed by fizruk
December 16, 2023 11:06 17m 8s main
December 16, 2023 11:06 17m 8s
Release v0.7.3
GHC (build, test, haddock) #162: Pull request #164 opened by fizruk
December 16, 2023 10:47 16m 46s release-v0.7.3
December 16, 2023 10:47 16m 46s
Stop typechecking after a parse error in some file (avoid invalid cache)
GHC (build, test, haddock) #161: Commit 68ab0b4 pushed by fizruk
December 16, 2023 10:39 36m 51s develop
December 16, 2023 10:39 36m 51s
Merge pull request #159 from rzk-lang/detect-decl-changes
GHC (build, test, haddock) #160: Commit 01762ed pushed by fizruk
December 15, 2023 22:37 35m 34s develop
December 15, 2023 22:37 35m 34s
Skip typechecking when the decls have not changed
GHC (build, test, haddock) #159: Pull request #159 synchronize by fizruk
December 15, 2023 22:15 17m 55s detect-decl-changes
December 15, 2023 22:15 17m 55s
Merge pull request #161 from rzk-lang/fix/formatter-crash
GHC (build, test, haddock) #158: Commit c5651b4 pushed by fizruk
December 15, 2023 22:15 34m 53s develop
December 15, 2023 22:15 34m 53s
Fix formatter crashing the server
GHC (build, test, haddock) #157: Pull request #161 synchronize by fizruk
December 15, 2023 21:56 16m 52s fix/formatter-crash
December 15, 2023 21:56 16m 52s
Fix formatter crashing the server
GHC (build, test, haddock) #156: Pull request #161 synchronize by fizruk
December 15, 2023 21:53 2m 37s fix/formatter-crash
December 15, 2023 21:53 2m 37s
Fix formatter crashing the server
GHC (build, test, haddock) #155: Pull request #161 synchronize by fizruk
December 15, 2023 21:51 2m 37s fix/formatter-crash
December 15, 2023 21:51 2m 37s
Fix formatter crashing the server
GHC (build, test, haddock) #154: Pull request #161 synchronize by fizruk
December 15, 2023 21:23 16m 36s fix/formatter-crash
December 15, 2023 21:23 16m 36s
Fix formatter crashing the server
GHC (build, test, haddock) #153: Pull request #161 synchronize by fizruk
December 15, 2023 21:18 17m 45s fix/formatter-crash
December 15, 2023 21:18 17m 45s
Fix formatter crashing the server
GHC (build, test, haddock) #152: Pull request #161 synchronize by fizruk
December 15, 2023 21:15 18m 8s fix/formatter-crash
December 15, 2023 21:15 18m 8s
Fix formatter crashing the server
GHC (build, test, haddock) #151: Pull request #161 opened by aabounegm
December 15, 2023 13:34 18m 15s fix/formatter-crash
December 15, 2023 13:34 18m 15s
Merge pull request #157 from rzk-lang/unit-testing
GHC (build, test, haddock) #150: Commit 244cb67 pushed by aabounegm
December 14, 2023 18:41 41m 33s develop
December 14, 2023 18:41 41m 33s
Formatter unit tests
GHC (build, test, haddock) #149: Pull request #157 synchronize by aabounegm
December 14, 2023 13:07 17m 55s unit-testing
December 14, 2023 13:07 17m 55s
Merge pull request #160 from rzk-lang/fix/overlapping-edits
GHC (build, test, haddock) #148: Commit 744a53a pushed by aabounegm
December 14, 2023 13:06 41m 0s develop
December 14, 2023 13:06 41m 0s
Split the space edits around bin ops into 2
GHC (build, test, haddock) #147: Pull request #160 opened by aabounegm
December 14, 2023 09:00 17m 37s fix/overlapping-edits
December 14, 2023 09:00 17m 37s
Skip typechecking when the decls have not changed
GHC (build, test, haddock) #146: Pull request #159 opened by aabounegm
December 13, 2023 11:53 16m 35s detect-decl-changes
December 13, 2023 11:53 16m 35s
Merge branch 'release-v0.7.2' into develop
GHC (build, test, haddock) #145: Commit 0e0f862 pushed by fizruk
December 12, 2023 10:37 36m 56s develop
December 12, 2023 10:37 36m 56s
Merge branch 'release-v0.7.2'
GHC (build, test, haddock) #144: Commit 4adb752 pushed by fizruk
December 12, 2023 10:36 18m 3s v0.7.2
December 12, 2023 10:36 18m 3s
Merge branch 'release-v0.7.2'
GHC (build, test, haddock) #143: Commit 4adb752 pushed by fizruk
December 12, 2023 10:36 16m 38s main
December 12, 2023 10:36 16m 38s
Release v0.7.2
GHC (build, test, haddock) #142: Pull request #158 synchronize by fizruk
December 12, 2023 10:34 16m 55s release-v0.7.2
December 12, 2023 10:34 16m 55s
Release v0.7.2
GHC (build, test, haddock) #141: Pull request #158 opened by fizruk
December 12, 2023 10:33 17m 2s release-v0.7.2
December 12, 2023 10:33 17m 2s