Refine workflow push trigger #1182

Closed
NickGerleman wants to merge 1 commits from push-trigger into main
4 changed files with 24 additions and 4 deletions

View File

@@ -1,6 +1,11 @@
name: Android name: Android
on: [push, pull_request, workflow_dispatch] on:
pull_request:
push:
branches:
- main
workflow_dispatch:
jobs: jobs:
build: build:

View File

@@ -1,6 +1,11 @@
name: Apple name: Apple
on: [push, pull_request, workflow_dispatch] on:
pull_request:
push:
branches:
- main
workflow_dispatch:
jobs: jobs:
lint-pods: lint-pods:

View File

@@ -1,6 +1,11 @@
name: C++ name: C++
on: [push, pull_request, workflow_dispatch] on:
pull_request:
push:
branches:
- main
workflow_dispatch:
jobs: jobs:
clang-format: clang-format:

View File

@@ -1,6 +1,11 @@
name: Website name: Website
on: [push, pull_request, workflow_dispatch] on:
pull_request:
push:
branches:
- main
workflow_dispatch:
jobs: jobs:
build: build: