Force pull-requests label(s)

Migrate CircleCI to Github actions #534

Sign in to view logs

Triggered via pull request October 16, 2023 09:09

leplatrem

labeled #1326

switch-circleci-github-actions

Status Skipped

Total duration 2s

Artifacts –

labels.yaml

on: pull_request

Will be skipped if labelled