Restart by label

fix: remove special handling of numerals in `DiscrTree` #877

Sign in to view logs

Triggered via pull request August 23, 2024 13:01

nomeata

labeled #3684

Status Skipped

Total duration 2s

Artifacts –

restart-on-label.yml

on: pull_request_target

restart-on-label