Don't run CI twice on pull requests

This commit is contained in:
Fedor Indutny 2021-12-23 19:50:07 +01:00 committed by GitHub
parent 08764c27dd
commit 7073f5660a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 12 additions and 2 deletions

View File

@ -2,7 +2,12 @@
# SPDX-License-Identifier: AGPL-3.0-only
name: Benchmark
on: push
on:
push:
branches:
- development
- '[0-9]+.[0-9]+.x'
pull_request:
jobs:
linux:

View File

@ -2,7 +2,12 @@
# SPDX-License-Identifier: AGPL-3.0-only
name: CI
on: [push, pull_request]
on:
push:
branches:
- development
- '[0-9]+.[0-9]+.x'
pull_request:
jobs:
lint: