PR do-not-merge flag

GitHub Actions - test, format, do-not-merge #5

Sign in to view logs

Summary
Jobs
- label-check
Run details
- Usage
- Workflow file

Triggered via pull request December 13, 2023 00:16

adambollen

synchronize #24

gha

Status Success

Total duration 11s

Artifacts –

pr_donotmerge.yml

on: pull_request