Check awaiting-mathlib label

chore: CI: bump actions/download-artifact from 5 to 6 #15759

Sign in to view logs

Triggered via pull request November 1, 2025 20:09

dependabot[bot]

opened #11053

dependabot/github_actions/actions/download-artifact-6

Status Success

Total duration 7s

Artifacts –

awaiting-mathlib.yml

on: pull_request

check-awaiting-mathlib