Skip to content
Actionlint

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

Sign in to view logs

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

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

Triggered via pull request May 25, 2025 06:05
@kim-emkim-em
opened #8471
awaiting-mathlib-yellow
Status Success
Total duration 46s
Artifacts –

actionlint.yml

on: pull_request
actionlint
35s
actionlint
Fit to window
Zoom out
Zoom in