Check labels

Minor Changes #23

Sign in to view logs

Triggered via pull request October 26, 2023 12:51

JuliaPoo

synchronize #52

ssa_graphs_jules

Status Success

Total duration 15s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

require-pr-label.yml

on: pull_request

DO-NOT-MERGE / unresolved review