Nix CI for bundle 8.18

Tentative Nix Fix #2

Sign in to view logs

Summary
Jobs
- coq
- Coq-Combi
Run details
- Usage
- Workflow file

Triggered via pull request January 22, 2024 09:20

hivert

synchronize #8

Nix

Status Failure

Total duration 2m 51s

Artifacts –

nix-action-8.18.yml

on: pull_request

Annotations

1 error

Process completed with exit code 1.