Nix CI for bundle rocq-dev

Merge pull request #1172 from jrosain/more-uniform-elimination #1

Sign in to view logs

Triggered via push April 15, 2025 09:50

TDiazT

main

Status Success

Total duration 12m 4s

Artifacts –

nix-action-rocq-dev.yml

on: push