Skip to content

Actions: rzk-lang/rzk

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,164 workflow runs
1,164 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Do not reset diagnostics for cached files GHCJS (build and deploy Rzk playground) #440: Pull request #172 synchronize by fizruk
April 1, 2024 08:23 22m 32s do-not-reset-diagnostics-for-cached-files
do-not-reset-diagnostics-for-cached-files
April 1, 2024 08:23 22m 32s
Do not reset diagnostics for cached files GHCJS (build and deploy Rzk playground) #439: Pull request #172 opened by fizruk
April 1, 2024 08:21 22m 5s do-not-reset-diagnostics-for-cached-files
do-not-reset-diagnostics-for-cached-files
April 1, 2024 08:21 22m 5s
Do not reset diagnostics for cached files GHC (build, test, haddock) #175: Pull request #172 opened by fizruk
April 1, 2024 08:21 29m 32s do-not-reset-diagnostics-for-cached-files
do-not-reset-diagnostics-for-cached-files
April 1, 2024 08:21 29m 32s
pages build and deployment pages-build-deployment #399: by github-pages bot
March 19, 2024 19:17 1m 23s
March 19, 2024 19:17 1m 23s
pages build and deployment pages-build-deployment #398: by github-pages bot
March 19, 2024 19:17 10s
March 19, 2024 19:17 10s
Merge pull request #171 from ncfavier/patch-1 MKDocs #154: Commit 9f851f5 pushed by fizruk
March 19, 2024 19:16 1m 3s develop
develop
March 19, 2024 19:16 1m 3s
Merge pull request #169 from rzk-lang/blog-hotfix/formatter-post MKDocs #153: Commit b507736 pushed by fizruk
January 17, 2024 19:38 54s blog
blog
January 17, 2024 19:38 54s
Replace all usages of String with Text GHCJS (build and deploy Rzk playground) #438: Pull request #168 synchronize by aabounegm
January 9, 2024 15:35 4m 42s string-to-text
string-to-text
January 9, 2024 15:35 4m 42s
Replace all usages of String with Text GHC (build, test, haddock) #174: Pull request #168 synchronize by aabounegm
January 9, 2024 15:35 16m 57s string-to-text
string-to-text
January 9, 2024 15:35 16m 57s
Replace all usages of String with Text GHCJS (build and deploy Rzk playground) #437: Pull request #168 synchronize by aabounegm
January 9, 2024 15:13 3m 43s string-to-text
string-to-text
January 9, 2024 15:13 3m 43s
Replace all usages of String with Text GHC (build, test, haddock) #173: Pull request #168 synchronize by aabounegm
January 9, 2024 15:13 17m 30s string-to-text
string-to-text
January 9, 2024 15:13 17m 30s
Replace all usages of String with Text GHC (build, test, haddock) #172: Pull request #168 synchronize by aabounegm
January 9, 2024 06:52 3m 12s string-to-text
string-to-text
January 9, 2024 06:52 3m 12s
Replace all usages of String with Text GHCJS (build and deploy Rzk playground) #436: Pull request #168 synchronize by aabounegm
January 9, 2024 06:52 1m 9s string-to-text
string-to-text
January 9, 2024 06:52 1m 9s
Replace all usages of String with Text GHC (build, test, haddock) #171: Pull request #168 synchronize by aabounegm
January 9, 2024 06:28 2m 52s string-to-text
string-to-text
January 9, 2024 06:28 2m 52s
Replace all usages of String with Text GHCJS (build and deploy Rzk playground) #435: Pull request #168 synchronize by aabounegm
January 9, 2024 06:28 1m 13s string-to-text
string-to-text
January 9, 2024 06:28 1m 13s
Merge pull request #166 from rzk-lang/blogpost/formatter MKDocs #152: Commit 81d20ea pushed by aabounegm
January 7, 2024 19:33 29s blog
blog
January 7, 2024 19:33 29s
pages build and deployment pages-build-deployment #397: by github-pages bot
January 6, 2024 21:15 2m 13s
January 6, 2024 21:15 2m 13s
GHC (build, test, haddock) GHC (build, test, haddock) #170: Manually run by deemp
January 6, 2024 20:36 39m 2s develop
develop
January 6, 2024 20:36 39m 2s
Replace all usages of String with Text GHC (build, test, haddock) #169: Pull request #168 opened by aabounegm
January 2, 2024 13:54 2m 44s string-to-text
string-to-text
January 2, 2024 13:54 2m 44s
Replace all usages of String with Text GHCJS (build and deploy Rzk playground) #434: Pull request #168 opened by aabounegm
January 2, 2024 13:54 1m 7s string-to-text
string-to-text
January 2, 2024 13:54 1m 7s
Fix skipping to typechecking the next file if the current has an error GHC (build, test, haddock) #168: Pull request #167 opened by aabounegm
December 26, 2023 18:45 17m 19s fix/skipping-file-after-typerror
fix/skipping-file-after-typerror
December 26, 2023 18:45 17m 19s
Fix skipping to typechecking the next file if the current has an error GHCJS (build and deploy Rzk playground) #433: Pull request #167 opened by aabounegm
December 26, 2023 18:45 4m 33s fix/skipping-file-after-typerror
fix/skipping-file-after-typerror
December 26, 2023 18:45 4m 33s
pages build and deployment pages-build-deployment #396: by github-pages bot
December 20, 2023 07:50 2m 19s
December 20, 2023 07:50 2m 19s
pages build and deployment pages-build-deployment #395: by github-pages bot
December 20, 2023 07:17 2m 14s
December 20, 2023 07:17 2m 14s
Merge pull request #165 from rzk-lang/refactor/handlers GHCJS (build and deploy Rzk playground) #432: Commit e4700d2 pushed by aabounegm
December 20, 2023 07:12 5m 0s develop
develop
December 20, 2023 07:12 5m 0s