Revert "Second try at fixing GitHub workflows"
Revert "Second try at fixing GitHub workflows"

This reverts commit 799b7c7540f66f8bfd8e172ad9e4000066386d51.

acgetchell/CDT-plusplus,acgetchell/CDT-plusplus,acgetchell/CDT-plusplus