Skip to content
GHCJS (build and deploy Rzk playground)

Merge pull request #183 from geffk2/syntax-sugar-sigma-types #468

Sign in to view logs

Merge pull request #183 from geffk2/syntax-sugar-sigma-types

Merge pull request #183 from geffk2/syntax-sugar-sigma-types #468

Triggered via push May 2, 2024 07:30
@fizrukfizruk
pushed 7a78f52
develop
Status Success
Total duration 4m 32s
Artifacts –

ghcjs.yml

on: push
Build with GHCJS (and deploy Rzk playground)
4m 23s
Build with GHCJS (and deploy Rzk playground)
Fit to window
Zoom out
Zoom in