Skip to content

[Feature/PI-320] Device created on and deleted on date #864

[Feature/PI-320] Device created on and deleted on date

[Feature/PI-320] Device created on and deleted on date #864

name: "Workflow: Forbid feature branch merge"
on: pull_request
permissions:
id-token: write
contents: read
actions: write
jobs:
workflow--check--release-branch-name:
runs-on: [self-hosted, ci]
steps:
- uses: actions/checkout@v4
with:
ref: ${{ github.event.pull_request.head.ref }}
- uses: ./.github/actions/make/
with:
command: workflow--check--release-branch-name