Check for stage0 changes

chore: add mathlib4-nightly-available label #25475

Sign in to view logs

Triggered via pull request December 5, 2025 17:03

Garmelon

opened #11526

joscha/mathlib4-nightly-available-label

Status Success

Total duration 53s

Artifacts –

check-stage0.yml

on: pull_request

check-stage0-on-queue