Fix miri invoke #30

Sign in to view logs

Workflow file for this run

.github/workflows/tests.yml at dbc7054

	name: Tests

	on: [push]

	jobs:
	build-latest:
	name: Test on Latest
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v1
	- uses: actions-rs/toolchain@v1
	with:
	toolchain: stable
	profile: minimal
	override: true
	- name: Test
	run: make test

	build-stable:
	name: Build on 1.43.0
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v1
	- uses: actions-rs/toolchain@v1
	with:
	toolchain: 1.43.0
	profile: minimal
	override: true
	- name: Test
	run: cargo check --all-features

	miri-test-latest:
	name: Miri Test
	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v1
	- uses: actions-rs/toolchain@v1
	with:
	toolchain: nightly
	profile: minimal
	components: miri
	override: true
	- name: Miri Test
	run: make miri-test