CI

Update to latest rocq #113

Sign in to view logs

This workflow is awaiting approval from a maintainer in #18

Triggered via pull request July 22, 2026 15:28

srghma

opened #18

srghma:master

Status Action required

Total duration –

Artifacts –

This workflow is awaiting approval from a maintainer in #18

build.yml

on: pull_request