Skip to content
Build Javascript

Wrap the library Alt_ergo_prelude #2919

Sign in to view logs

Wrap the library Alt_ergo_prelude

Wrap the library Alt_ergo_prelude #2919

Triggered via pull request August 28, 2024 12:43
@HalbarothHalbaroth
opened #1223
Halbaroth:fix-ocaml-prelude
Status Success
Total duration 5m 14s
Artifacts –

build_js.yml

on: pull_request
Compile AE with JsoO and test it with NodeJs
5m 3s
Compile AE with JsoO and test it with NodeJs
Fit to window
Zoom out
Zoom in