Restart by label

refactor: no need for `simpMatchWF?` #2

Sign in to view logs

Triggered via pull request May 13, 2024 18:43

leanprover-community-mathlib4-bot

labeled #4153

Status Skipped

Total duration 2s

Artifacts –

restart-on-label.yml

on: pull_request_target

restart-on-label