diff --git a/.github/workflows/mirror-tangled.yml b/.github/workflows/mirror-tangled.yml index 2d31073d..72d38a04 100644 --- a/.github/workflows/mirror-tangled.yml +++ b/.github/workflows/mirror-tangled.yml @@ -18,6 +18,7 @@ jobs: mirror: name: 🕸️ Mirror to Tangled if: ${{ github.repository == 'dubzzz/fast-check' }} + runs-on: ubuntu-latest steps: - uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2