Nix CI for bundle 8.20

Merge pull request #71 from coq-community/opam #9

Sign in to view logs

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

Triggered via push February 25, 2025 10:02

proux01

master

Status Success

Total duration 14m 22s

Artifacts –

nix-action-8.20.yml

on: push