Nix CI for bundle 9.0

Adapt to https://github.com/math-comp/math-comp/pull/1545 (#154) #129

Sign in to view logs

Triggered via push March 6, 2026 13:46

proux01

master

Status Success

Total duration 5m 33s

Artifacts –

nix-action-9.0.yml

on: push

mathcomp-finmap