Skip to content
Test Generated JSON

Adapt to https://github.com/coq/coq/pull/17576 (#1698) #3575

Sign in to view logs

Adapt to https://github.com/coq/coq/pull/17576 (#1698)

Adapt to https://github.com/coq/coq/pull/17576 (#1698) #3575

Triggered via push November 3, 2023 22:13
@JasonGrossJasonGross
pushed e4b57b2
master
Status Success
Total duration 39s
Artifacts –

json.yml

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