Nix CI for bundle rocq-master

Merge pull request #354 from rocq-community/vscoq-server-2.2.6 #148

Sign in to view logs

Triggered via push June 2, 2025 09:11

proux01

master

Status Success

Total duration 2m 13s

Artifacts –

nix-action-rocq-master.yml

on: push