Drop the --infer flag #296

	name: Self check

	on:
	push:
	branches:
	- main
	- master
	pull_request: []

	jobs:
	test:
	runs-on: ubuntu-20.04
	name: Erlang ${{matrix.otp}}
	strategy:
	matrix:
	otp: ['24.3.4.4']
	steps:
	- uses: actions/checkout@v2
	- uses: erlef/setup-beam@v1
	with:
	otp-version: ${{matrix.otp}}
	- name: "Build"
	run: "make"
	- name: "Run self check"
	run: "make gradualize \| tee gradualize.log"
	- name: "Assess self check result"
	run: \|
	ERROR_LINES=$(wc -l gradualize.log \| awk '{print $1}')
	if [ $ERROR_LINES -eq 0 ]; then
	echo "ok, there are no self-check errors: $ERROR_LINES == 0"
	exit 0
	else
	echo "we've regressed, failing the job: $ERROR_LINES != 0"
	exit 1
	fi

Provide feedback