Nix CI for bundle 9.0

Update coq-nix-toolbox. #65

Sign in to view logs

Triggered via pull request November 17, 2025 19:42

arthuraa

opened #148

Status Success

Total duration 5m 19s

Artifacts –

nix-action-9.0.yml

on: pull_request_target

mathcomp-finmap