Make GitHub CI ignore some folders
This commit is contained in:
parent
8d5d3777c0
commit
7c36ea3f9b
1 changed files with 9 additions and 1 deletions
10
.github/workflows/main.yml
vendored
10
.github/workflows/main.yml
vendored
|
@ -1,6 +1,14 @@
|
||||||
name: Build binaries
|
name: Build binaries
|
||||||
|
|
||||||
on: [push, pull_request]
|
on:
|
||||||
|
push:
|
||||||
|
paths-ignore:
|
||||||
|
- 'HBC/**'
|
||||||
|
- 'Languages/**'
|
||||||
|
pull_request:
|
||||||
|
paths-ignore:
|
||||||
|
- 'HBC/**'
|
||||||
|
- 'Languages/**'
|
||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
build:
|
build:
|
||||||
|
|
Loading…
Reference in a new issue