1515 - " data/**"
1616 - " site/**"
1717 - " docs/**"
18- <<<<<<< HEAD
1918 - " cabal.project"
20- =======
21- >>>>>>> main
2219 push :
2320 branches :
2421 - main
2926 - " data/**"
3027 - " site/**"
3128 - " docs/**"
32- <<<<<<< HEAD
3329 - " cabal.project"
34- =======
35- >>>>>>> main
3630
3731jobs :
3832 # ###############################################################################
4135 formal-spec-typecheck :
4236 name : " formal-spec: Typecheck"
4337 if : |
44- <<<<<<< HEAD
4538 github.event_name == 'push' &&
4639 contains(github.event.commits.*.modified, 'formal-spec/') ||
4740 github.event_name == 'pull_request' &&
48- =======
49- github.event_name == 'push' ||
50- >>>>>>> main
5141 contains(github.event.pull_request.files.*.path, 'formal-spec/')
5242 runs-on : ubuntu-22.04
5343 steps :
9282 simulation-test :
9383 name : " simulation: Test on ${{ matrix.os }} with GHC ${{ matrix.ghc-version }}"
9484 if : |
95- <<<<<<< HEAD
9685 github.event_name == 'push' &&
9786 (contains(github.event.commits.*.modified, 'simulation/') ||
9887 contains(github.event.commits.*.modified, 'data/') ||
@@ -101,11 +90,6 @@ jobs:
10190 (contains(github.event.pull_request.files.*.path, 'simulation/') ||
10291 contains(github.event.pull_request.files.*.path, 'data/') ||
10392 contains(github.event.pull_request.files.*.path, 'cabal.project'))
104- =======
105- github.event_name == 'push' ||
106- contains(github.event.pull_request.files.*.path, 'simulation/') ||
107- contains(github.event.pull_request.files.*.path, 'data/')
108- >>>>>>> main
10993 runs-on : ${{ matrix.os }}
11094 strategy :
11195 fail-fast : false
@@ -173,7 +157,6 @@ jobs:
173157 simulation-hlint :
174158 name : " simulation: Check with HLint"
175159 if : |
176- <<<<<<< HEAD
177160 github.event_name == 'push' &&
178161 (contains(github.event.commits.*.modified, 'simulation/') ||
179162 contains(github.event.commits.*.modified, 'data/') ||
@@ -182,11 +165,6 @@ jobs:
182165 (contains(github.event.pull_request.files.*.path, 'simulation/') ||
183166 contains(github.event.pull_request.files.*.path, 'data/') ||
184167 contains(github.event.pull_request.files.*.path, 'cabal.project'))
185- =======
186- github.event_name == 'push' ||
187- contains(github.event.pull_request.files.*.path, 'simulation/') ||
188- contains(github.event.pull_request.files.*.path, 'data/')
189- >>>>>>> main
190168 runs-on : ubuntu-22.04
191169 steps :
192170 - name : 📥 Checkout repository
@@ -204,7 +182,6 @@ jobs:
204182 simulation-fourmolu :
205183 name : " simulation: Check with fourmolu"
206184 if : |
207- <<<<<<< HEAD
208185 github.event_name == 'push' &&
209186 (contains(github.event.commits.*.modified, 'simulation/') ||
210187 contains(github.event.commits.*.modified, 'data/') ||
@@ -213,11 +190,6 @@ jobs:
213190 (contains(github.event.pull_request.files.*.path, 'simulation/') ||
214191 contains(github.event.pull_request.files.*.path, 'data/') ||
215192 contains(github.event.pull_request.files.*.path, 'cabal.project'))
216- =======
217- github.event_name == 'push' ||
218- contains(github.event.pull_request.files.*.path, 'simulation/') ||
219- contains(github.event.pull_request.files.*.path, 'data/')
220- >>>>>>> main
221193 runs-on : ubuntu-22.04
222194 steps :
223195 - name : 📥 Checkout repository
@@ -235,18 +207,12 @@ jobs:
235207 sim-rs-check :
236208 name : " sim-rs: Test"
237209 if : |
238- <<<<<<< HEAD
239210 github.event_name == 'push' &&
240211 (contains(github.event.commits.*.modified, 'sim-rs/') ||
241212 contains(github.event.commits.*.modified, 'data/')) ||
242213 github.event_name == 'pull_request' &&
243214 (contains(github.event.pull_request.files.*.path, 'sim-rs/') ||
244215 contains(github.event.pull_request.files.*.path, 'data/'))
245- =======
246- github.event_name == 'push' ||
247- contains(github.event.pull_request.files.*.path, 'sim-rs/') ||
248- contains(github.event.pull_request.files.*.path, 'data/')
249- >>>>>>> main
250216 runs-on : ubuntu-22.04
251217 steps :
252218 - uses : actions/checkout@v4
@@ -266,13 +232,9 @@ jobs:
266232 docs-generate-d2-diagrams :
267233 name : " docs: Generate D2 Diagrams"
268234 if : |
269- <<<<<<< HEAD
270235 github.event_name == 'push' &&
271236 endsWith(github.event.commits.*.modified, '.d2') ||
272237 github.event_name == 'pull_request' &&
273- =======
274- github.event_name == 'push' ||
275- >>>>>>> main
276238 endsWith(github.event.pull_request.files.*.path, '.d2')
277239 runs-on : ubuntu-22.04
278240 permissions :
@@ -334,13 +296,9 @@ jobs:
334296 docs-build :
335297 name : " docs: Build"
336298 if : |
337- <<<<<<< HEAD
338299 github.event_name == 'push' &&
339300 contains(github.event.commits.*.modified, 'site/') ||
340301 github.event_name == 'pull_request' &&
341- =======
342- github.event_name == 'push' ||
343- >>>>>>> main
344302 contains(github.event.pull_request.files.*.path, 'site/')
345303 runs-on : ubuntu-22.04
346304 outputs :
0 commit comments