Add (newer) Dialyzer info. about `invalid_contract` #934

	name: Common Test

	on:
	pull_request:
	branches:
	- 'main'
	push:
	branches:
	- 'main'

	jobs:
	linux:
	name: Test on OTP ${{ matrix.otp_version }} and ${{ matrix.os }}
	runs-on: ${{ matrix.os }}

	strategy:
	matrix:
	otp_version: [24, 25.0, 26]
	os: [ubuntu-latest]

	container:
	image: erlang:${{ matrix.otp_version }}

	env:
	LATEST_OTP_RELEASE: 26.0

	steps:
	- uses: actions/checkout@v2
	- name: Compile
	run: ./bootstrap
	- name: CT tests
	run: ./rebar3 ct
	- shell: bash
	name: Dialyzer
	run: \|
	[[ "${{ matrix.otp_version }}" != "${{ env.LATEST_OTP_RELEASE }}" ]] \|\| (./rebar3 clean -a && ./rebar3 as dialyzer dialyzer)

	macos:
	name: Test on MacOS
	runs-on: macos-latest

	steps:
	- uses: actions/checkout@v2
	- name: Brew Version Check
	run: brew --version
	- name: Brew Cleanup
	run: brew cleanup
	- name: Brew Untap Casks
	run: brew untap homebrew/cask homebrew/core
	- name: Debug Brew
	run: brew doctor
	- name: Keep Brew Fresh
	run: brew update
	- name: Install Erlang
	run: brew install erlang
	- name: Compile
	run: ./bootstrap
	- name: CT tests
	run: ./rebar3 ct

	windows:
	name: Test on Windows
	runs-on: windows-latest

	steps:
	- uses: actions/checkout@v2
	- name: Install Erlang
	run: choco install erlang
	- name: Compile
	run: .\bootstrap.ps1
	- name: CT tests
	run: .\rebar3.ps1 ct

Provide feedback