Rust

ci: fix filename #55

	name: Rust

	on:
	push:
	pull_request:

	env:
	CARGO_TERM_COLOR: always

	jobs:
	tests:
	name: Unit Tests
	runs-on: ubuntu-latest
	strategy:
	matrix:
	toolchain:
	- stable
	- beta
	- nightly

	steps:
	- name: Update Rust to ${{ matrix.toolchain }}
	run: rustup update ${{ matrix.toolchain }} && rustup default ${{ matrix.toolchain }}
	- uses: actions/checkout@v3
	- name: Build
	run: cargo build --verbose
	- name: Run tests
	run: cargo test --verbose

	examples:
	name: Try Examples
	runs-on: ubuntu-latest
	strategy:
	matrix:
	toolchain:
	- stable
	- beta
	- nightly

	steps:
	- name: Update Rust to ${{ matrix.toolchain }}
	run: rustup update ${{ matrix.toolchain }} && rustup default ${{ matrix.toolchain }}
	- uses: actions/checkout@v3
	- name: Build
	run: cargo build --verbose --examples --release
	- name: load_signals
	run: cargo run --release --example bmc -- inputs/Quiz1.btor


	semver:
	name: Check Semantic Versioning
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v3
	- uses: obi1kenobi/cargo-semver-checks-action@v2

Provide feedback