File tree Expand file tree Collapse file tree 2 files changed +0
-10
lines changed
Expand file tree Collapse file tree 2 files changed +0
-10
lines changed Original file line number Diff line number Diff line change 2727
2828 runs-on : ubuntu-latest
2929
30- strategy :
31- fail-fast : false
32-
3330 env :
3431 ghc : " 9.6.6"
3532 cabal : " 3.12.1.0"
9491
9592 runs-on : ubuntu-latest
9693
97- strategy :
98- fail-fast : false
99-
10094 # https://github.com/actions/deploy-pages
10195 permissions :
10296 pages : write
Original file line number Diff line number Diff line change @@ -10,7 +10,6 @@ concurrency:
1010 group : ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
1111 cancel-in-progress : true
1212
13-
1413permissions :
1514 contents : read
1615
@@ -302,9 +301,6 @@ jobs:
302301 hlint :
303302 runs-on : ubuntu-latest
304303
305- strategy :
306- fail-fast : false
307-
308304 steps :
309305 - name : Checkout repository
310306 uses : actions/checkout@v4
You can’t perform that action at this time.
0 commit comments