.github/workflows/ci.yml

Release v3.1 #102

Sign in to view logs

Triggered via push March 21, 2024 09:59

vbgl

prepare-v3.1

Status Success

Total duration 26m 50s

Artifacts –

ci.yml

on: push

Matrix: build

Annotations

1 warning

build (mathcomp/mathcomp:2.1.0-coq-8.17)

Docker build failed with exit code 1, back off 5.317 seconds before retry.