Skip to content

Build(deps-dev): Bump the development-dependencies group with 4 updates #672

Build(deps-dev): Bump the development-dependencies group with 4 updates

Build(deps-dev): Bump the development-dependencies group with 4 updates #672

Workflow file for this run

name: "units-test"
on:
pull_request:
merge_group:
push:
branches:
- main
- "releases/*"
concurrency:
group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
cancel-in-progress: true
defaults:
run:
shell: sh
jobs:
# unit tests
units:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Set Node.js 18
uses: actions/[email protected]
with:
node-version: 18
cache: npm
- run: npm ci
- run: npm run all
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
# test action works running from the graph
test:
runs-on: ${{ matrix.os }}
strategy:
fail-fast: false
matrix:
os: [ubuntu-latest, macos-latest, windows-latest]
steps:
- uses: actions/checkout@v4
- uses: ./
id: z3
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
- run: echo "${{ steps.z3.outputs.z3-root }}"
- run: '[ -d "${{ steps.z3.outputs.z3-root }}" ] || exit 1'
- if: runner.os != 'Windows'
run: '[ -f "${{ steps.z3.outputs.z3-root }}/bin/z3" ] || exit 1'
- if: runner.os == 'Windows'
run: '[ -f "${{ steps.z3.outputs.z3-root }}\bin\z3.exe" ] || exit 1'