Skip to content

Actions: rzk-lang/rzk

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
November 19, 2024 23:15 23m 7s
Fix tuple pattern syntax
GHCJS (build and deploy Rzk playground) #484: Pull request #193 opened by alicelogos
November 19, 2024 23:15 23m 21s alicelogos:fix-tuple-pattern-syntax
November 19, 2024 23:15 23m 21s
pages build and deployment
pages-build-deployment #434: by github-pages bot
November 7, 2024 13:27 1m 21s
November 7, 2024 13:27 1m 21s
pages build and deployment
pages-build-deployment #433: by github-pages bot
November 7, 2024 13:07 1m 12s
November 7, 2024 13:07 1m 12s
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
November 7, 2024 12:45 41m 57s
Merge pull request #191 from alicelogos/fix-tuple-patterns
GHCJS (build and deploy Rzk playground) #483: Commit 03c8d8e pushed by fizruk
November 7, 2024 12:45 23m 11s develop
November 7, 2024 12:45 23m 11s
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
November 6, 2024 22:54 25m 5s
Fix tuple patterns in parameter declarations
GHCJS (build and deploy Rzk playground) #482: Pull request #191 opened by alicelogos
November 6, 2024 22:54 23m 47s alicelogos:fix-tuple-patterns
November 6, 2024 22:54 23m 47s
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
August 27, 2024 08:04 26m 16s
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
August 27, 2024 08:04 19m 28s
pages build and deployment
pages-build-deployment #432: by github-pages bot
August 18, 2024 07:22 1m 16s
August 18, 2024 07:22 1m 16s
pages build and deployment
pages-build-deployment #431: by github-pages bot
August 18, 2024 06:44 1m 0s
August 18, 2024 06:44 1m 0s
pages build and deployment
pages-build-deployment #430: by github-pages bot
August 18, 2024 06:43 9s
August 18, 2024 06:43 9s
pages build and deployment
pages-build-deployment #429: by github-pages bot
August 18, 2024 06:40 1m 2s
August 18, 2024 06:40 1m 2s
v0.7.5
Release #10: Release v0.7.5 published by fizruk
August 18, 2024 06:40 19m 1s
August 18, 2024 06:40 19m 1s
pages build and deployment
pages-build-deployment #428: by github-pages bot
August 18, 2024 06:40 14s
August 18, 2024 06:40 14s
pages build and deployment
pages-build-deployment #427: by github-pages bot
August 18, 2024 06:36 1m 7s
August 18, 2024 06:36 1m 7s
pages build and deployment
pages-build-deployment #426: by github-pages bot
August 18, 2024 06:36 10s
August 18, 2024 06:36 10s
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
August 18, 2024 06:35 5m 3s
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
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
August 18, 2024 06:35 23m 42s
Merge branch 'release-v0.7.5'
MKDocs #163: Commit 25dd17a pushed by fizruk
August 18, 2024 06:35 53s v0.7.5
August 18, 2024 06:35 53s
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
August 18, 2024 06:35 1m 44s
Merge branch 'release-v0.7.5'
GHC (build, test, haddock) #212: Commit 25dd17a pushed by fizruk
August 18, 2024 06:35 22m 42s main
August 18, 2024 06:35 22m 42s
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
August 18, 2024 06:35 5m 36s