Check for stage0 changes

feat: use approximate universe inverse when `sorry` in inductive type #25454

Sign in to view logs

Triggered via pull request December 5, 2025 13:26

kmill

synchronize #11524

kmill_induct_sorry_approx

Status Success

Total duration 48s

Artifacts –

check-stage0.yml

on: pull_request

check-stage0-on-queue