Enforce PR labels

Use 2.0.0 autograding #249

Sign in to view logs

Summary
Jobs
- label
Run details
- Usage
- Workflow file

Triggered via pull request November 24, 2023 12:10

uhafner

opened #859

action

Status Success

Total duration 15s

Artifacts –

enforce-labels.yml

on: pull_request