2 Commits (264f7b2f5fff40d0d47b103703c17b1f6daef511)

Author SHA1 Message Date
  Paul Spooren 13c1f2bcda CI: checkout HEAD commit rather than merge commit 4 years ago
  Paul Spooren 1b46af0e59 CI: migrate formal checks from CircleCI to GitHub 4 years ago