Skip to content
Docker CI

Docker CI #611

Sign in to view logs

Docker CI

Docker CI #611

Triggered via schedule February 16, 2025 02:24
@palmskogpalmskog
⁠ a8fea35
master
Status Failure
Total duration 4m 4s
Artifacts –

docker-action.yml

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

Annotations

2 warnings
build (mathcomp/mathcomp:2.0.0-coq-8.18): theories/setoid_leq.v#L5
Hiding binding of key N to N_scope
build (mathcomp/mathcomp:2.1.0-coq-8.18): theories/setoid_leq.v#L5
Hiding binding of key N to N_scope