Nix CI for bundle 8.17+2.0

adjust CI to Rocq changes #40

Sign in to view logs

Triggered via pull request February 9, 2025 16:01

palmskog

opened #67

Status Success

Total duration 19m 30s

Artifacts –

nix-action-8.17+2.0.yml

on: pull_request_target

mathcomp-finmap