Build Iris Lean

chore: bump Rocq version and fix stale aliases #2903

Sign in to view logs

Triggered via pull request September 5, 2026 10:36

lzy0505

synchronize #690

ISTA-PLV:BumpRocq

Status Success

Total duration 6m 18s

Artifacts –

build.yml

on: pull_request