4 Commits

Author	SHA1	Message	Date
amai2012	2eb326de83	Update workflows to Ubuntu 20.04 (#2948)	2020-12-15 10:59:09 +01:00
Daniel Marjamäki	e541d01533	Bug hunting; Do not check with sanitizers in github action, it takes too much time	2020-12-06 22:06:55 +01:00
Oliver Stöneberg	9c20b29dba	improved sanitizer builds in CI (#2928)	2020-12-01 18:02:13 +01:00
Daniel Marjamäki	e331168481	CI: Move tasks from Travis to 'github actions' to speed up CI	2020-09-05 18:29:19 +02:00