Bump @actions/core from 1.11.1 to 2.0.1 #119

	name: Continuous Integration

	on:
	pull_request:
	branches:
	- main
	push:
	branches:
	- main

	permissions:
	contents: read

	jobs:
	test-typescript:
	name: TypeScript Tests
	runs-on: ubuntu-latest

	steps:
	- name: Checkout
	id: checkout
	uses: actions/checkout@v6

	- name: Setup Node.js
	id: setup-node
	uses: actions/setup-node@v6
	with:
	node-version-file: .node-version
	cache: npm

	- name: Install Dependencies
	id: npm-ci
	run: npm ci

	- name: Check Format
	id: npm-format-check
	run: npm run format:check

	- name: Lint
	id: npm-lint
	run: npm run lint

	- name: Test
	id: npm-ci-test
	run: npm run ci-test

	test-action-z3:
	name: Z3 Integration Tests
	strategy:
	fail-fast: false
	matrix:
	os: [macos-latest, ubuntu-latest, windows-latest]
	z3:
	[
	'4.13.0',
	'4.13.2',
	'4.13.4',
	'4.14.0',
	'4.14.1',
	'4.15.0',
	'4.15.1',
	'4.15.3',
	'4.15.4'
	]
	runs-on: ${{ matrix.os }}

	steps:
	- name: Checkout
	id: checkout
	uses: actions/checkout@v6

	- name: Test Local Action
	id: test-action
	uses: ./
	with:
	z3Version: ${{ matrix.z3 }}
	cvc5Version: false

	- run: z3 --version

	test-action-cvc5:
	name: CVC5 Integration Test
	strategy:
	fail-fast: false
	matrix:
	os: [macos-latest, ubuntu-latest, windows-latest]
	cvc5: ['1.3.2', '1.3.1', '1.2.1', '1.2.0']
	runs-on: ${{ matrix.os }}

	steps:
	- name: Checkout
	id: checkout
	uses: actions/checkout@v6

	- name: Test Local Action
	id: test-action
	uses: ./
	with:
	z3Version: false
	cvc5Version: ${{ matrix.cvc5 }}

	- run: cvc5 --version

Provide feedback