Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
github: disambiguate proof artifact upload
Proof artifact upload had name clashes for different artifacts from the same job that previously would overwrite each other and with v4 actions now error. This commit disambiguates the names. Signed-off-by: Gerwin Klein <[email protected]>
- Loading branch information