Project

General

Profile

« Previous | Next » 

Revision 348f2a73

Added by Ewoud Kohl van Wijngaarden over 3 years ago

Add Github action placeholders

These files need to exist for a Github action to trigger on a PR. The
goal of this commit is to have proper CI checks on the actual PR to
switch over.

[skip ci]

  • added
  • modified
  • copied
  • renamed
  • deleted