Tests

rename source directory coq->rocq #4117

Sign in to view logs

Triggered via push October 24, 2025 19:11

shinnar

rocq

Status Success

Total duration 8m 53s

Artifacts –

build.yml

on: push

Matrix: Build