Skip to content
Test Generated JSON

Update coq-docker.yml #4544

Sign in to view logs

Update coq-docker.yml

Update coq-docker.yml #4544

Triggered via push September 18, 2024 19:58
@JasonGrossJasonGross
pushed 96ef9ac
update-wasm-of-ocaml
Status Success
Total duration 28s
Artifacts –

json.yml

on: push
test-json
16s
test-json
Fit to window
Zoom out
Zoom in