Check awaiting-mathlib label

chore: CI: bump dawidd6/action-download-artifact from 11 to 21 #4

Sign in to view logs

Triggered via pull request June 2, 2026 04:43

dependabot[bot]

labeled #1

dependabot/github_actions/dawidd6/action-download-artifact-21

Status Success

Total duration 6s

Artifacts –

awaiting-mathlib.yml

on: pull_request

check-awaiting-mathlib