Restart by label

fix: `get_elem_tactic_trivial` to not loop in the presence of mvars #824

Sign in to view logs

Triggered via pull request August 21, 2024 18:06

nomeata

labeled #5119

Status Skipped

Total duration 2s

Artifacts –

restart-on-label.yml

on: pull_request_target

restart-on-label