fix typechecking order of boolean guards #57

	name: coverage-linux
	on: [push, pull_request]
	jobs:
	build:
	name: ${{ matrix.name }}
	runs-on: ubuntu-latest

	strategy:
	fail-fast: false
	matrix:
	include:
	- name: flambda2_coverage
	config: --enable-middle-end=flambda2 --enable-coverage
	ocamlparam: ''

	env:
	J: "3"

	steps:
	- name: Checkout the Flambda backend repo
	uses: actions/checkout@master
	with:
	path: 'flambda_backend'

	# This adds a switch at $GITHUB_WORKSPACE/_opam
	- name: Set up OCaml 4.14
	uses: ocaml/setup-ocaml@v2
	with:
	ocaml-compiler: 4.14
	opam-pin: false
	opam-depext: false

	- name: Get host build environment from cache
	uses: actions/cache@v1
	id: cache
	with:
	path: ${{ github.workspace }}/_opam
	key: ${{ matrix.os }}-cache-ocaml-414-dune-2.9.1-g7606d586

	- name: Build bisect_ppx
	if: steps.cache.outputs.cache-hit != 'true'
	run: \|
	opam pin ppxlib 0.25.1
	opam pin bisect_ppx --yes \
	git+https://github.com/lukemaurer/bisect_ppx#html-report-collate-fix

	- name: Trim cached files
	if: steps.cache.outputs.cache-hit != 'true'
	run: \|
	# Remove unneeded parts to shrink cache file
	rm -rf _opam/{lib/ocaml/expunge,bin/*.byte}

	- name: Configure Flambda backend
	working-directory: flambda_backend
	run: \|
	autoconf
	./configure \
	--prefix=$GITHUB_WORKSPACE/_install \
	--with-dune=$GITHUB_WORKSPACE/_opam/bin/dune \
	${{ matrix.config }}


	- name: Build, install and test Flambda backend
	working-directory: flambda_backend
	run: opam exec -- make ci
	env:
	BUILD_OCAMLPARAM: ${{ matrix.ocamlparam }}

	- name: Publish coverage report
	uses: actions/upload-artifact@v3
	with:
	name: coverage
	path: flambda_backend/_coverage/**

Provide feedback