028c3e6241
If we don't provide the additional name fragment, previous artifacts would be overwritten, which leads to a failure with error message on GitHub. Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems> |
||
|---|---|---|
| .. | ||
| aarch64.yml | ||
| external.yml | ||
| pr.yml | ||
| proof-deploy.yml | ||
| proof.yml | ||
| push.yml | ||
| trigger.yml | ||
| weekly-clean.yml | ||