tree f93288cd2677c35a71f8f7b60577b334cede9b51
parent 84ea014f193fec1cc0a6b2089dd10e6b58b30faa
author Andrea Tarocchi <andrea.tarocchi@gmail.com> 1578872682 +0100
committer Andrea Tarocchi <andrea.tarocchi@gmail.com> 1578906725 +0100

Added sourcecheck to github actions, added master push github action workflow and badge in readme.