Nix CI for bundle 8.20

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

Sign in to view logs

Triggered via push March 6, 2026 13:46

proux01

master

Status Success

Total duration 4m 41s

Artifacts –

nix-action-8.20.yml

on: push

mathcomp-finmap