SpliceBot/.github/workflows/act_smoke.yaml at 4c31b8332c8a33b935de85756efa34c1f84b3b3b · leanprover-community/SpliceBot · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
name: Act Smoke Tests

on:
  pull_request:
    paths:
      - ".github/workflows/*.yml"
      - ".github/workflows/*.yaml"
      - ".github/actions/**/*.yml"
      - ".github/actions/**/*.yaml"
      - "tests/actions/**"
  workflow_dispatch:

jobs:
  act-smoke:
    runs-on: ubuntu-latest
    steps:
      - name: Check out repository
        uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2

      - name: Install act
        shell: bash
        run: |
          set -euo pipefail
          curl --silent --show-error --location \
            https://raw.githubusercontent.com/nektos/act/master/install.sh \
            | sudo bash -s -- -b /usr/local/bin

      - name: Run act smoke suite
        shell: bash
        env:
          DOCKER_AUTH_CONFIG: '{}'
          GITHUB_TOKEN: ${{ github.token }}
        run: |
          set -euo pipefail
          tests/actions/run_act_smoke.sh