Fixes issue #35 - Fix current GitHub workflow #37

Closed mnriem closed 1 year ago