File tree 2 files changed +14
-0
lines changed
2 files changed +14
-0
lines changed Original file line number Diff line number Diff line change 18
18
19
19
jobs :
20
20
ubuntu-latest-make :
21
+ if : github.event.pull_request.draft == false
22
+
21
23
runs-on : ubuntu-latest
22
24
23
25
steps :
37
39
make
38
40
39
41
ubuntu-latest-cmake :
42
+ if : github.event.pull_request.draft == false
43
+
40
44
runs-on : ubuntu-latest
41
45
42
46
steps :
65
69
ctest --verbose
66
70
67
71
ubuntu-latest-cmake-sanitizer :
72
+ if : github.event.pull_request.draft == false
73
+
68
74
runs-on : ubuntu-latest
69
75
70
76
continue-on-error : true
@@ -101,6 +107,8 @@ jobs:
101
107
ctest --verbose
102
108
103
109
macOS-latest-make :
110
+ if : github.event.pull_request.draft == false
111
+
104
112
runs-on : macos-latest
105
113
106
114
steps :
@@ -119,6 +127,8 @@ jobs:
119
127
make
120
128
121
129
macOS-latest-cmake :
130
+ if : github.event.pull_request.draft == false
131
+
122
132
runs-on : macOS-latest
123
133
124
134
steps :
@@ -146,6 +156,8 @@ jobs:
146
156
ctest --verbose
147
157
148
158
windows-latest-cmake :
159
+ if : github.event.pull_request.draft == false
160
+
149
161
runs-on : windows-latest
150
162
151
163
strategy :
Original file line number Diff line number Diff line change 18
18
jobs :
19
19
push_to_registry :
20
20
name : Push Docker image to Docker Hub
21
+ if : github.event.pull_request.draft == false
22
+
21
23
runs-on : ubuntu-latest
22
24
env :
23
25
COMMIT_SHA : ${{ github.sha }}
You can’t perform that action at this time.
0 commit comments