Skip to content
Docker CI

update ci script (#7) #96

Sign in to view logs

update ci script (#7)

update ci script (#7) #96

Triggered via push February 18, 2025 10:08
@fblanquifblanqui
pushed 9ef5225
main
Status Failure
Total duration 10m 19s
Artifacts –

main.yml

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

Annotations

3 warnings
build (dev): With_N.v#L5
"From Coq" has been replaced by "From Stdlib".
build (dev): With_N.v#L86
"From Coq" has been replaced by "From Stdlib".
build (dev): With_N.v#L105
"From Coq" has been replaced by "From Stdlib".