Restart by label

refactor: lake: disambiguate packages by workspace index #8263

Sign in to view logs

Triggered via pull request December 6, 2025 04:15

leanprover-community-bot

labeled #11500

Status Skipped

Total duration 1s

Artifacts –

restart-on-label.yml

on: pull_request_target

restart-on-label