Skip to content
CI

Remove excessive and negative information about jsCoq. #24

Sign in to view logs

Remove excessive and negative information about jsCoq.

Remove excessive and negative information about jsCoq. #24

Triggered via push October 4, 2023 11:08
@Zimmi48Zimmi48
pushed e29f18b
update-ui-list
Status Success
Total duration 4m 22s
Artifacts –

ci.yml

on: push
build
4m 11s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in