Docker CI

update docker ci #612

Sign in to view logs

Triggered via pull request February 16, 2025 09:14

palmskog

opened #77

ci-update

Status Failure

Total duration 4m 12s

Artifacts –

docker-action.yml

on: pull_request

Matrix: build

Annotations

3 warnings

build (mathcomp/mathcomp:2.1.0-coq-8.18): theories/setoid_leq.v#L5

Hiding binding of key N to N_scope

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.3.0-coq-8.20): theories/shepherdson.v#L46

Reference addn_rec is deprecated since mathcomp 2.3.0.