CI

Update to latest rocq #115

Sign in to view logs

This workflow is awaiting approval from a maintainer in #18

Triggered via pull request July 22, 2026 16:19

srghma

synchronize #18

srghma:master

Status Action required

Total duration –

Artifacts –

This workflow is awaiting approval from a maintainer in #18

build.yml

on: pull_request