4 commits

Author	SHA1	Message	Date
Gregor Santner	f1464b5f8f	ci add comment for cleanup as github has no delete-all button	2020-12-23 14:45:38 +01:00
Gregor Santner	369abf14a5	CI/CD: Remove special junit/lint jobs	2020-12-22 03:39:33 +01:00
Gregor Santner	ceb98c4258	gh actions pull_request action	2020-12-21 23:50:58 +01:00
Gregor Santner	ff62aa5a07	Add Makefile; CI: Remove Circle/Travis, add GitHub Actions	2020-12-09 01:07:24 +01:00