Closed ejgenc closed 2 years ago
…uild under new github actions rules
Even though one of the GitHub Actions failed, this failure is due to an error on the action itself. This pull request will be merged and a bugfix will follow it.
…uild under new github actions rules