GHCJS (build and deploy Rzk playground)

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

Sign in to view logs

Triggered via push October 9, 2023 07:41

fizruk

develop

Status Success

Total duration 19m 41s

Artifacts –

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

ghcjs.yml

on: push

Build with GHCJS (and deploy Rzk playground)