Skip to content

Delete branch on merge for pgi repo #76

Delete branch on merge for pgi repo

Delete branch on merge for pgi repo #76

Triggered via pull request January 26, 2024 22:07
Status Success
Total duration 1m 45s
Artifacts

github-sync-pr-sigstore.yml

on: pull_request_target
changes-sigstore
1m 30s
changes-sigstore
Fit to window
Zoom out
Zoom in

Annotations

1 warning
changes-sigstore
Restore cache failed: Some specified paths were not resolved, unable to cache dependencies.