Nix CI for bundle coq-8.19

CI test #11

Sign in to view logs

Re-run triggered October 15, 2024 10:00

4ever2

#4

nix-rev-ci-test

Status Failure

Total duration 28s

Artifacts –

nix-action-coq-8.19.yml

on: pull_request

library-undecidability

Annotations

1 error

library-undecidability

Process completed with exit code 1.