Nix CI for bundle 8.20

Coq 8.20 compatibility #3

Sign in to view logs

Re-run triggered November 26, 2024 20:46

4ever2

#48

4ever2:coq-8.20

Status Failure

Total duration 45s

Artifacts –

nix-action-8.20.yml

on: pull_request

mathcomp-analysis

Annotations

1 error

Process completed with exit code 1.