Nix CI for bundle master

Test coqPackages.mathcomp-analysis: 1.5.0 -> 1.7.0 #978

Sign in to view logs

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

Triggered via pull request November 28, 2024 10:44

proux01

synchronize #289

Status Success

Total duration 10m 40s

Artifacts –

nix-action-master.yml

on: pull_request_target