fix on_pr workflow #64
Description
The central on_pr workflow will probably become the central entry point to this repository. However it is currently broken.
Expectation is that it's something trivial, therefore good first issue
{{ message }}
The central on_pr workflow will probably become the central entry point to this repository. However it is currently broken.
Expectation is that it's something trivial, therefore good first issue