Nix CI for bundle master

Merge pull request #280 from 4ever2/test-metacoq #941

Sign in to view logs

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

Triggered via push October 31, 2024 14:36

proux01

master

Status Success

Total duration 16m 21s

Artifacts –

nix-action-master.yml

on: push