Nix CI for bundle 9.0

Update opam file following removal of Stdlib dep #6

Sign in to view logs

Triggered via pull request February 25, 2025 09:43

proux01

opened #71

Status Cancelled

Total duration 5m 19s

Artifacts –

nix-action-9.0.yml

on: pull_request_target

mathcomp-bigenough

mathcomp-finmap

mathcomp-real-closed

hierarchy-builder

mathcomp-algebra-tactics

Annotations

1 error

The run was canceled by @proux01.