Fix: no double CI on push to pull-request

This commit is contained in:
Fabien Givors 2023-01-16 18:42:40 +01:00
parent e59cdac3bd
commit 6960d6c957
1 changed files with 6 additions and 1 deletions

View File

@ -1,6 +1,11 @@
name: Build
on: [push, pull_request]
on:
pull_request:
push:
branches:
- "develop"
- "master"
jobs:
linux-build: