Nix CI for bundle 8.19

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 20s

Artifacts –

nix-action-8.19.yml

on: pull_request

Annotations

1 error

Process completed with exit code 1.