Merge pull request #5 from taraldefi/feat/property-selection #27

	name: Continuous integration
	on:
	push:
	branches: [ main ]
	pull_request_target:
	branches: [ main ]

	workflow_dispatch:

	jobs:
	build:
	runs-on: ubuntu-latest
	steps:
	- name: Cancel Previous Runs
	uses: styfle/cancel-workflow-action@0.11.0
	with:
	access_token: ${{ github.token }}

	- uses: actions/checkout@v3
	with:
	token: ${{ secrets.PAT }}

	- name: "Check contracts"
	uses: docker://hirosystems/clarinet:1.4.0
	with:
	entrypoint: "bash"
	args: -c "clarinet check"

	- name: "Execute Clarinet test suite"
	uses: docker://hirosystems/clarinet:1.4.0
	with:
	entrypoint: "bash"
	args: -c "clarinet test"

Provide feedback