Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
GitHub CI: ignore upload failure after build fails
We have the GitHub CI set up to upload the binaries generated by a failed build. This is intended to help people debug test failures, but when the compilation fails there is no binary to upload. In that case, GitHub gets distracted by the upload failure and doesn't automatically jump to the relevant failure. Reconfigure the upload step to ignore errors due to file not found.
- Loading branch information