Move typecheck.rs to concrete_typecheck.rs & prepare for Concrete HM #30

	name: CI

	on:
	push:
	branches: [ "master" ]
	pull_request:
	branches: [ "master" ]

	env:
	CARGO_TERM_COLOR: always

	jobs:
	build:
	runs-on: ubuntu-latest
	env:
	CARGO_INCREMENTAL: 0
	steps:
	- uses: actions/checkout@v4
	with:
	submodules: recursive
	- name: Build
	# Don't try to build codegen, as it needs to link against LLVM
	run: cargo build --verbose --all-features
	- name: Run tests
	run: cargo test --verbose --all-features

	# check-fmt:
	# runs-on: ubuntu-latest
	# steps:
	# - uses: actions/checkout@v4
	# with:
	# submodules: recursive
	# - name: cargo fmt --check
	# run: cargo fmt --check

Provide feedback