build(deps-dev): bump hypothesis from 6.76.0 to 6.83.1 #460

	name: test

	on:
	push:
	branches:
	- main
	pull_request:

	jobs:
	run:
	continue-on-error: True
	runs-on: ${{ matrix.os }}

	strategy:
	matrix:
	os: [ubuntu-latest] #, macos-latest, windows-latest]
	python-version: ["3.8", "3.9", "3.10", "3.11"]

	timeout-minutes: 30

	steps:
	- uses: actions/checkout@master
	- uses: actions/setup-python@master
	with:
	python-version: ${{ matrix.python-version }}
	- name: Install dependencies
	run: pip install tox poetry
	# set up environment depending on the platform in use
	- if: matrix.os == 'ubuntu-latest'
	name: Install Lydia (ubuntu-latest)
	run: \|
	sudo apt-get update
	sudo apt-get install -y wget
	# install flex/bison
	sudo apt-get purge -y flex
	sudo apt-get purge -y bison
	sudo apt-get install -y flex bison
	sudo apt-get autoremove
	# install boost
	sudo apt-get install -y libboost-dev
	sudo apt-get install -y graphviz libgraphviz-dev
	# install MONA, CUDD, Syft, Lydia
	sudo ./scripts/_ci-install-lydia-dependencies-ubuntu.sh
	# - if: matrix.os == 'macos-latest'
	# name: Install dependencies (macos-latest)
	# run: ...
	# - if: matrix.os == 'windows-latest'
	# name: Install dependencies (windows-latest)
	# env:
	# ACTIONS_ALLOW_UNSECURE_COMMANDS: true
	# run: ...
	- name: Unit tests and coverage
	run: \|
	tox -e py${{ matrix.python-version }}
	- name: Upload coverage to Codecov
	uses: codecov/codecov-action@v1
	with:
	token: ${{ secrets.CODECOV_TOKEN }}
	file: ./coverage.xml
	flags: unittests
	name: codecov-umbrella
	fail_ci_if_error: true

Provide feedback