Small CI improvements

[DigitalBrains1]

As mentioned in the GitHub Actions documentation:

Avoid using always for any task that could suffer from a critical
failure, for example: getting sources, otherwise the workflow may
hang until it times out. If you want to run a job or step
regardless of its success or failure, use the recommended
alternative: if: ${{ !cancelled() }}

(Description shamelessly copied from my colleague, Martijn Bastiaan [email protected])

[martijnbastiaan]

Thief :O!