Skip to content
Backport

chore: while awaiting-mathlib, show yellow status not red #9993

Sign in to view logs

chore: while awaiting-mathlib, show yellow status not red

chore: while awaiting-mathlib, show yellow status not red #9993

Triggered via pull request May 25, 2025 13:01
@kim-emkim-em
closed #8471
Status Success
Total duration 14s
Artifacts –

backport.yml

on: pull_request_target
Backport
3s
Backport
Fit to window
Zoom out
Zoom in