mirror of
https://github.com/Crocmagnon/charasheet.git
synced 2024-11-22 14:38:03 +01:00
Fix workflow
This commit is contained in:
parent
78efe472a3
commit
93405b9b70
1 changed files with 2 additions and 10 deletions
12
.github/workflows/test.yaml
vendored
12
.github/workflows/test.yaml
vendored
|
@ -10,14 +10,6 @@ permissions:
|
||||||
contents: read
|
contents: read
|
||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
context:
|
|
||||||
name: Display context
|
|
||||||
runs-on: ubuntu-latest
|
|
||||||
if: >-
|
|
||||||
github.event.pull_request
|
|
||||||
&& github.event.pull_request.merged == false
|
|
||||||
steps:
|
|
||||||
- run: echo "${{github.event.pull_request.user.login}}"
|
|
||||||
tests:
|
tests:
|
||||||
name: Python tests
|
name: Python tests
|
||||||
runs-on: ubuntu-latest
|
runs-on: ubuntu-latest
|
||||||
|
@ -48,8 +40,8 @@ jobs:
|
||||||
github.event.pull_request
|
github.event.pull_request
|
||||||
&& github.event.pull_request.merged == false
|
&& github.event.pull_request.merged == false
|
||||||
&& (
|
&& (
|
||||||
github.event.pull_request.user.login == "crocmagnon-pr[bot]"
|
github.event.pull_request.user.login == 'crocmagnon-pr[bot]'
|
||||||
|| github.event.pull_request.user.login == "pre-commit-ci[bot]"
|
|| github.event.pull_request.user.login == 'pre-commit-ci[bot]'
|
||||||
)
|
)
|
||||||
steps:
|
steps:
|
||||||
- name: Auto merge
|
- name: Auto merge
|
||||||
|
|
Loading…
Reference in a new issue