Merge pull request #7 from jkaninda/8.0

8.0
This commit is contained in:
2022-10-28 13:38:20 +02:00
committed by GitHub

View File

@@ -3,18 +3,12 @@ name: ci
on: on:
push: push:
branches: branches:
- 'main' - '**'
- '8.1'
- '8.0'
- '7.4'
- '7.2'
pull_request: pull_request:
types:
- closed
branches: branches:
- 'main' - '**'
- '8.1'
- '8.0'
- '7.4'
- '7.2'
env: env:
#BRANCH_NAME: ${{ github.head_ref || github.ref_name }} #BRANCH_NAME: ${{ github.head_ref || github.ref_name }}