diff --git a/.github/workflows/bootstrap.skip.yml b/.github/workflows/bootstrap.skip.yml index 4a92ddaa0c67c063445265a55dcba5d01984b594..3a47870b533ba537ae2b48f5c982204c249255f2 100644 --- a/.github/workflows/bootstrap.skip.yml +++ b/.github/workflows/bootstrap.skip.yml @@ -6,7 +6,7 @@ name: Bootstrap Skip # to the docs, since these jobs take a long time to complete without providing any benefit. # We therefore use path-filtering in the workflow triggers for the bootstrap jobs, namely # "paths-ignore: doc/**". But the "Bootstrap post job" is a required job, therefore a PR cannot -# be merged unless the "Bootstrap post job" completes succesfully, which it doesn't do if we +# be merged unless the "Bootstrap post job" completes succesfully, which it doesn't do if we # filter it out. # # The solution: We use a second job with the same name which always returns the exit code 0. diff --git a/.github/workflows/validate.skip.yml b/.github/workflows/validate.skip.yml index e5cd47e284a30e2149d1c347a7b11e55fe334a36..af608e92d49abaea323320f99971bdc0acc3a7ca 100644 --- a/.github/workflows/validate.skip.yml +++ b/.github/workflows/validate.skip.yml @@ -6,7 +6,7 @@ name: Validate Skip # to the docs, since these jobs take a long time to complete without providing any benefit. # We therefore use path-filtering in the workflow triggers for the validate jobs, namely # "paths-ignore: doc/**". But the "Validate post job" is a required job, therefore a PR cannot -# be merged unless the "Validate post job" completes succesfully, which it doesn't do if we +# be merged unless the "Validate post job" completes succesfully, which it doesn't do if we # filter it out. # # The solution: We use a second job with the same name which always returns the exit code 0. diff --git a/.github/workflows/validate.yml b/.github/workflows/validate.yml index 593514beb2f8ff5eb8019bcad2c342ad5edf7d53..2a5587ce5eaf76e8b4090717cde666b750670bbf 100644 --- a/.github/workflows/validate.yml +++ b/.github/workflows/validate.yml @@ -285,7 +285,7 @@ jobs: run: sh validate.sh ${{ env.COMMON_FLAGS }} --lib-only -s lib-suite-extras --extra-hc ${{ env.EXTRA_GHC }} build-alpine: - name: Build statically linked using alpine + name: Build statically linked using alpine runs-on: "ubuntu-latest" container: "alpine:3.19" steps: