Enforce PR labels

Lock mechanism for scratch_dir creation, small refactoring #2010

Sign in to view logs

Triggered via pull request October 7, 2024 10:13

burnout87

labeled #713

lock-creation-scratch_dir

Status Success

Total duration 27s

Artifacts –

enforce-labels.yml

on: pull_request