Integration testing in CI #104

	name: CI

	on: [workflow_dispatch, push, pull_request]

	jobs:
	build and test:
Check failure on line 6 in .github/workflows/ci.yml View workflow run for this annotation GitHub Actions / CI Invalid workflow file `The workflow is not valid. .github/workflows/ci.yml (Line: 6, Col: 3): The identifier 'build and test' is invalid. IDs may only contain alphanumeric characters, '_', and '-'. IDs must start with a letter or '_' and and must be less than 100 characters.`
	runs-on: ubuntu-latest

	steps:
	- name: Checkout code
	uses: actions/checkout@v4
	- name: Run Lean Action
	uses: leanprover/lean-action@v1
	with:
	auto-config: "false"
	use-mathlib-cache: "false"
	build: "true"
	- name: Run integration tests
	run: \|
	./test_daemon.py

	# - name: Create package
	# run: \|
	# ./create_release.sh
	# - name: Upload artifact
	# uses: actions/[email protected]
	# with:
	# name: sand
	# path: release/sand-x86_64-linux.tar.zst

Provide feedback