Create pr
CI job for auto-merging PRs
This commit is contained in:
parent
a2ec605732
commit
4dd5150bcb
1 changed files with 22 additions and 0 deletions
22
.github/workflows/ci.yml
vendored
22
.github/workflows/ci.yml
vendored
|
@ -16,6 +16,28 @@ env:
|
|||
|
||||
jobs:
|
||||
|
||||
################
|
||||
# Pull Request #
|
||||
################
|
||||
|
||||
pr:
|
||||
if: ${{ github.event_name == 'pull_request'
|
||||
&& !contains(github.event.head_commit.message, '[skip ci]') }}
|
||||
needs:
|
||||
- clippy
|
||||
- example
|
||||
- feature
|
||||
- release-check
|
||||
- rustfmt
|
||||
- test
|
||||
- wasm
|
||||
runs-on: ubuntu-latest
|
||||
steps:
|
||||
- run: true
|
||||
|
||||
|
||||
|
||||
|
||||
##########################
|
||||
# Linting and formatting #
|
||||
##########################
|
||||
|
|
Loading…
Reference in a new issue