Check for stage0 changes

feat: elaborate theorem bodies in parallel #11433

Sign in to view logs

Triggered via pull request March 12, 2025 15:35

Kha

synchronize #7084

Kha:push-xkzsuvwvlstz

Status Success

Total duration 1m 0s

Artifacts –

check-stage0.yml

on: pull_request

check-stage0-on-queue