File tree Expand file tree Collapse file tree 2 files changed +16
-8
lines changed Expand file tree Collapse file tree 2 files changed +16
-8
lines changed Original file line number Diff line number Diff line change 5
5
# Workaround for: https://github.com/earthly/earthly/issues/4220
6
6
EARTHLY_DISABLE_REMOTE_REGISTRY_PROXY : true
7
7
8
+ # Ignore cross-build files with Maven
8
9
on :
9
10
push :
10
11
paths-ignore :
12
+ # Generic files to ignore for building
11
13
- ' *.md'
12
14
- ' images/**'
13
15
# These ignores are specific to a cross-build against Maven
14
16
- ' pom.xml'
15
- - ' mvnw*'
17
+ - ' mvnw*' # Wraper scripts
16
18
- ' .mvn'
19
+ - ' .github/workflows/*maven*'
17
20
# These ignores are specific to this project
18
21
- ' run-with-maven.sh'
19
- - ' .github/workflows/*maven*'
20
22
pull_request :
21
23
paths-ignore :
24
+ # Generic files to ignore for building
22
25
- ' *.md'
23
26
- ' images/**'
24
27
# These ignores are specific to a cross-build against Maven
25
28
- ' pom.xml'
26
- - ' mvnw*'
29
+ - ' mvnw*' # Wrapper scripts
27
30
- ' .mvn'
31
+ - ' .github/workflows/*maven*'
28
32
# These ignores are specific to this project
29
33
- ' run-with-maven.sh'
30
- - ' .github/workflows/*maven*'
31
34
32
35
jobs :
33
36
build :
Original file line number Diff line number Diff line change 5
5
# Workaround for: https://github.com/earthly/earthly/issues/4220
6
6
EARTHLY_DISABLE_REMOTE_REGISTRY_PROXY : true
7
7
8
+ # Ignore cross-build files with Gradle
8
9
on :
9
10
push :
10
11
paths-ignore :
12
+ # Generic files to ignore for building
11
13
- ' *.md'
12
14
- ' images/**'
13
15
# These ignores are specific to a cross-build against Gradle
14
16
- ' build.gradle'
15
- - ' gradle*'
17
+ - ' gradle' # Directory is distinct from files in GitHub ignores
18
+ - ' gradle*' # Wrapper scripts and properties
16
19
- ' .gradle'
20
+ - ' .github/workflows/*gradle*'
17
21
# These ignores are specific to this project
18
22
- ' run-with-gradle.sh'
19
- - ' .github/workflows/*gradle*'
20
23
pull_request :
21
24
paths-ignore :
25
+ # Generic files to ignore for building
22
26
- ' *.md'
23
27
- ' images/**'
24
28
# These ignores are specific to a cross-build against Gradle
25
29
- ' build.gradle'
26
- - ' gradle*'
30
+ - ' gradle' # Directory is distinct from files in GitHub ignores
31
+ - ' gradle*' # Wrapper scripts and properties
27
32
- ' .gradle'
33
+ - ' .github/workflows/*gradle*'
28
34
# These ignores are specific to this project
29
35
- ' run-with-gradle.sh'
30
- - ' .github/workflows/*gradle*'
31
36
workflow_dispatch :
32
37
33
38
jobs :
You can’t perform that action at this time.
0 commit comments