Nix CI for bundle rocq-9.0

Merge pull request #1239 from mattam82/9.0-remap-mutual-block #84

Sign in to view logs

Triggered via push February 17, 2026 19:18

mattam82

9.0

Status Success

Total duration 31m 47s

Artifacts –

nix-action-rocq-9.0.yml

on: push