CI: always run the linux workflow