`Term::is_isomorphic_to`: A function to determine if two term objects… #38

	on:
	pull_request:
	push:
	branches:
	- master

	name: basics

	jobs:
	check:
	name: check
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v2
	- uses: actions-rs/toolchain@v1
	with:
	profile: minimal
	toolchain: stable
	override: true
	- uses: actions-rs/cargo@v1
	with:
	command: check
	args: --all-targets

	fmt:
	name: fmt
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v2
	- uses: actions-rs/toolchain@v1
	with:
	profile: minimal
	toolchain: stable
	override: true
	- run: rustup component add rustfmt
	- uses: actions-rs/cargo@v1
	with:
	command: fmt
	args: --all -- --check

	clippy:
	name: clippy
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v2
	- uses: actions-rs/toolchain@v1
	with:
	toolchain: stable
	components: clippy
	override: true
	- uses: actions-rs/clippy-check@v1
	with:
	token: ${{ secrets.GITHUB_TOKEN }}
	args: --all-targets -- -D warnings
	name: clippy output

Provide feedback