Nix CI for bundle 9.0

Adapt to https://github.com/math-comp/math-comp/pull/1545 #128

Sign in to view logs

Triggered via pull request March 6, 2026 13:23

proux01

opened #154

Status Success

Total duration 6m 45s

Artifacts –

nix-action-9.0.yml

on: pull_request_target

mathcomp-finmap