3 Commits

Author	SHA1	Message	Date
bluss	32623b8209	MAINT: Change from travis to github actions	2020-12-08 21:20:18 +01:00
Ralf Jung	7ae9e2cd1f	Miri now supports catching panics	2019-12-06 09:43:14 +01:00
Ralf Jung	9ed6941a51	run miri on CI	2019-11-16 09:52:18 +01:00