CI

Fix CI for local running #69

Sign in to view logs

Triggered via pull request May 2, 2025 16:00

tperami

synchronize #17

fix-ci-local

Status Success

Total duration 58s

Artifacts –

ci.yml

on: pull_request

Matrix: build_rocq