Docker CI

Updating to rocq9.2/mathcomp2.6 #108

Sign in to view logs

Triggered via pull request July 30, 2026 11:09

synchronize #61

v2.3.0

Status Failure

Total duration 8m 19s

Artifacts –

docker-action.yml

on: pull_request

Matrix: build

Annotations

2 warnings

build (mathcomp/mathcomp:2.6.0-rocq-prover-9.2)

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

build (mathcomp/mathcomp-dev:rocq-prover-dev)

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/