Nix CI for bundle coq8.19+mcmathcomp-2.2.0

Adapt to https://github.com/math-comp/math-comp/pull/1343 #15

# to view logs

Triggered via pull request February 14, 2025 07:43

proux01

opened #96

Status Success

Total duration 24m 53s

Artifacts –

nix-action-coq8.19+mcmathcomp-2.2.0.yml

on: pull_request_target

mathcomp-bigenough

mathcomp-real-closed