Check formatting

Sail with interpreter semantics specified in Rocq and extracted to OCaml #3275

Sign in to view logs

Triggered via pull request September 2, 2025 17:44

Alasdair

synchronize #1432

rocq_extract

Status Success

Total duration 48s

Artifacts –

formatting.yml

on: pull_request

Matrix: build