Restart by label

feat: do not have `meta` imply `partial` #8392

Sign in to view logs

Triggered via pull request December 12, 2025 11:21

leanprover-community-bot

labeled #11587

Status Skipped

Total duration 1s

Artifacts –

restart-on-label.yml

on: pull_request_target

restart-on-label