Build, test, and lint

Adding all AST nodes for FOL; adding formatting for TPTP; adding formatting and parsing for spec language #27

Sign in to view logs

Workflow file for this run

.github/workflows/rust.yml at 3d75fdc

	name: Build, test, and lint

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

	env:
	CARGO_TERM_COLOR: always

	jobs:
	build:

	runs-on: ubuntu-latest
	strategy:
	fail-fast: false
	matrix:
	rust:
	- stable
	- beta
	- nightly
	- 1.67.0

	steps:
	- uses: actions/checkout@v3

	- uses: actions-rs/toolchain@v1
	with:
	profile: minimal
	toolchain: ${{ matrix.rust }}
	override: true
	components: rustfmt, clippy

	- uses: actions-rs/cargo@v1
	with:
	command: build

	- uses: actions-rs/cargo@v1
	with:
	command: test

	- uses: actions-rs/cargo@v1
	with:
	command: fmt
	args: --all --check

	- uses: actions-rs/cargo@v1
	with:
	command: clippy
	args: -- -D warnings