diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 6343b628..25cc69f9 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -9,7 +9,7 @@ on: - master jobs: - test: + tests: runs-on: ${{ matrix.os }} timeout-minutes: 3 strategy: @@ -33,11 +33,33 @@ jobs: - name: Run tests run: npm test + example-tests: + runs-on: ${{ matrix.os }} + timeout-minutes: 3 + strategy: + fail-fast: false + matrix: + os: [ubuntu-latest, macos-latest, windows-latest] + node: [22, 20, 18] + + steps: + - name: Checkout code + uses: actions/checkout@v4 + + - name: Use Node.js ${{ matrix.node }} + uses: actions/setup-node@v4 + with: + node-version: ${{ matrix.node }} + + - name: Install dependencies + run: npm ci + - name: Run example tests run: | - ./rv example counter test - ./rv example counter invariant - ./rv example cargo test - ./rv example cargo invariant - ./rv example reverse test - ./rv example slice test + cd example + ../rv . counter test + ../rv . counter invariant + ../rv . cargo test + ../rv . cargo invariant + ../rv . reverse test + ../rv . slice test