Nix CI for bundle 9.0-2.5.0

CI #2

Sign in to view logs

Triggered via pull request December 9, 2025 15:01

pi8027

synchronize #66

ci

Status Success

Total duration 19m 12s

Artifacts –

nix-action-9.0-2.5.0.yml

on: pull_request

mathcomp-ssreflect

mathcomp-algebra-tactics

mathcomp-infotheo