Testing CI #112

	# Copyright Kani Contributors
	# SPDX-License-Identifier: Apache-2.0 OR MIT
	name: Kani Action Check
	on: pull_request

	jobs:
	test-action:
	runs-on: ubuntu-latest
	name: Ensure that the Kani action continues to work
	steps:
	# To use this repository's private action,
	# you must check out the repository
	- name: Checkout
	uses: actions/checkout@v3

	- name: Run Kani with invalid version
	id: set_error
	uses: ./
	with:
	working-directory: tests/cargo-kani/simple-lib
	kani-version: '0.1.10'

	- name: Check previous step outcome
	id: get_error
	run: \|
	# Check the outcome of Step 2
	if [[ "${{ steps.set_error.outcome }}" == "failure" ]]; then
	echo "Step 2 failed."
	# You can take additional actions based on the failure.
	else
	echo "Step 2 succeeded or was skipped."
	fi

	- name: Run Kani with older version
	uses: ./ # Uses the action in the root directory
	with:
	working-directory: tests/cargo-kani/simple-lib
	kani-version: '0.33.0'
	- name: Run Kani
	uses: ./ # Uses the action in the root directory
	with:
	working-directory: tests/cargo-kani/simple-lib
	- name: Test ProfProof within Kani Action
	uses: ./
	with:
	working-directory: tests/cargo-kani/proptest-lib
	args: --tests
	enable-propproof: true

Provide feedback