Nix CI for bundle default

Port to Rocq 9.1 #41

Sign in to view logs

Triggered via pull request February 25, 2026 18:22

4ever2

synchronize #39

Status Success

Total duration 7m 14s

Artifacts –

nix-action-default.yml

on: pull_request_target

verified-extraction