Restart by label

refactor: lake: merge `BuildJob` into `Job` #2263

Sign in to view logs

Triggered via pull request December 16, 2024 20:51

leanprover-community-bot

labeled #6388

Status Skipped

Total duration 3s

Artifacts –

restart-on-label.yml

on: pull_request_target

restart-on-label