CI

Move state includes internally #64

Sign in to view logs

Triggered via pull request May 2, 2025 13:13

bensimner

opened #16

wip-internal-stateh

Status Success

Total duration 9m 54s

Artifacts –

ci.yml

on: pull_request

Matrix: build_rocq