Skip to content
CI (Coq, docker, dev)

Adapt to fix of notations for constants with multiple signatures of i… #890

Sign in to view logs

Adapt to fix of notations for constants with multiple signatures of i…

Adapt to fix of notations for constants with multiple signatures of i… #890

Triggered via push January 10, 2024 09:47
@JasonGrossJasonGross
pushed 47058dc
sp2019latest
Status Success
Total duration 37m 2s
Artifacts –

docker-coq.yml

on: push
Matrix: docker-build
Fit to window
Zoom out
Zoom in