Merge pull request #137 from rzk-lang/fix-latest-playground #73

Triggered via push October 9, 2023 07:41

fizruk

develop

Status Success

Total duration 47m 33s

Artifacts 3

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

ghc.yml

on: push

Matrix: Build and test with GHC

Produced during runtime