Skip to content

Adapt to https://github.com/math-comp/math-comp/pull/1354 #59

Adapt to https://github.com/math-comp/math-comp/pull/1354

Adapt to https://github.com/math-comp/math-comp/pull/1354 #59

Triggered via pull request February 28, 2025 13:25
@proux01proux01
synchronize #66
Status Failure
Total duration 50s
Artifacts

nix-action-8.19.yml

on: pull_request_target
Fit to window
Zoom out
Zoom in

Annotations

1 error
coq
Process completed with exit code 1.