tfausak/splint
1
1
Fork 0
mirror of https://github.com/tfausak/splint.git synced 2024-11-09 11:59:03 +03:00
Code Issues Projects Releases Wiki Activity

Fix reference to old GHC version

Browse Source
This commit is contained in:
Taylor Fausak 2022-05-06 08:43:25 -04:00 committed by GitHub
parent bb6b02d1a7
commit e388c76ca5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/ci.yaml vendored
View File

@ -34,5 +34,5 @@ jobs:
path: dist-newstyle/sdist/splint-*.tar.gz
name: splint-${{ github.sha }}.tar.gz
- run: cabal check
- if: github.event_name == 'release' && matrix.os == 'ubuntu' && matrix.ghc == '9.0.1'
- if: github.event_name == 'release' && matrix.os == 'ubuntu' && matrix.ghc == '9.0.2'
run: cabal upload --publish --username '${{ secrets.HACKAGE_USERNAME }}' --password '${{ secrets.HACKAGE_PASSWORD }}' dist-newstyle/sdist/splint-*.tar.gz