Update stage0

feat: mark `sizeOf` theorems as `grind` theorems (#11265) #6374

Sign in to view logs

Triggered via push November 19, 2025 19:30

github-merge-queue[bot]

master

Status Success

Total duration 10m 24s

Artifacts –

update-stage0.yml

on: push