Skip to content

Remove files supporting github ci

Chet Nieter requested to merge dev/remove-github-ci into main

Since we are moving to gitlab as the primary repo we don't need to support the github ci.

Merge request reports