tools/github actions: separate workflows for pull requests and build from each commit on master

This commit is contained in:
nodiscc
2023-07-22 11:26:01 +02:00
parent af5ff2b3e5
commit 083b9f0605
3 changed files with 15 additions and 5 deletions

View File

@@ -1,8 +1,6 @@
on:
push:
branches: [ master ]
pull_request:
branches: [ master ]
workflow_dispatch:
concurrency:
@@ -16,4 +14,3 @@ jobs:
- uses: actions/checkout@v3
- run: make awesome_lint
- run: make export
- run: make url_check

View File

@@ -16,8 +16,6 @@ jobs:
steps:
- uses: actions/checkout@v3
- run: make update_metadata
- run: make awesome_lint
- run: make export
- name: commit and push changes
run: |
git config user.name awesome-selfhosted-bot

15
.github/workflows/pull-request.yml vendored Normal file
View File

@@ -0,0 +1,15 @@
on:
pull_request:
branches: [ master ]
concurrency:
group: ${{ github.ref }}
cancel-in-progress: true
jobs:
ci:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- run: make awesome_lint
- run: make export