Remove outdated labels

Util\Timing::getHumanReadableDuration: improve time display #512

Sign in to view logs

Triggered via pull request November 2, 2024 09:09

jrfnl

closed #658

Status Success

Total duration 13s

Artifacts –

label-remove-outdated.yml

on: pull_request_target

Clean up labels on issue close

Clean up labels on PR merge

Clean up labels on PR close