Nix CI for bundle 9.0

Remove Stdlib dependency #1

Sign in to view logs

Summary
Jobs
- coq
- fourcolor
Run details
- Usage
- Workflow file

Triggered via pull request February 21, 2025 18:26

proux01

synchronize #68

no-stdlib

Status Failure

Total duration 2m 28s

Artifacts –

nix-action-9.0.yml

on: pull_request

Annotations

1 error

Process completed with exit code 1.