Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Create a dummy description if no version problems are found
Currently the PR step is skipped if no report file is written, but then the delete branch option do not work. This now creates a dummy description file so the PR job can always run.
- Loading branch information