This commit is contained in:
Andrea Ciceri 2022-11-10 21:11:46 +01:00
parent c733eec395
commit 3102eb20bc
No known key found for this signature in database
GPG key ID: A1FC89532D1C5654
5 changed files with 0 additions and 137 deletions

View file

@ -9,7 +9,6 @@ on:
jobs:
build-hs:
if: ${{ always() }}
needs: check
runs-on: ubuntu-latest
steps:
- name: Checkout repository