Restart by label

feat: order the output of #print axioms #245

Sign in to view logs

Triggered via pull request June 10, 2024 09:27

leanprover-community-mathlib4-bot

labeled #4416

Status Skipped

Total duration 3s

Artifacts –

restart-on-label.yml

on: pull_request_target

restart-on-label