Docker CI

Switch to Rocq-community templates #1

Sign in to view logs

Triggered via pull request August 25, 2025 12:30

pi8027

opened #113

templates

Status Cancelled

Total duration 7m 23s

Artifacts –

docker-action.yml

on: pull_request

Matrix: build

Annotations

3 errors

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

The operation was canceled.

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

The run was canceled by @pi8027.

The run was canceled by @pi8027.