GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-11-27 01:15:07 +03:00
Code Issues Projects Releases Wiki Activity

CI: Use haskell/actions/setup@v2

Browse Source
This commit is contained in:
Bretton 2023-06-10 15:34:31 -07:00
parent 5778f6f9f2
commit af084f6bc2
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.github/workflows/ci.yml vendored
View File

@ -94,7 +94,7 @@ jobs:
with:
poetry-version: 1.4.2
- uses: haskell/actions/setup@v1
- uses: haskell/actions/setup@v2
id: setup-haskell
with:
ghc-version: ${{ matrix.ghc-version }}
@ -266,7 +266,7 @@ jobs:
with:
submodules: true
- uses: haskell/actions/setup@v1
- uses: haskell/actions/setup@v2
with:
ghc-version: '8.10.7'