diff --git a/.github/workflows/standalone-ghci.yaml.yaml b/.github/workflows/standalone-ghci.yaml similarity index 94% rename from .github/workflows/standalone-ghci.yaml.yaml rename to .github/workflows/standalone-ghci.yaml index 03fc4f8..c7ed809 100644 --- a/.github/workflows/standalone-ghci.yaml.yaml +++ b/.github/workflows/standalone-ghci.yaml @@ -1,4 +1,4 @@ -name: ghci +name: ghci-standalone on: pull_request: @@ -26,11 +26,14 @@ env: jobs: ocis: - runs-on: ubuntu-latest + runs-on: ${{ matrix.os }} permissions: contents: read packages: write id-token: write + strategy: + matrix: + os: [ubuntu-22.04-arm] steps: -