Skip to content
CodeQL

fix: push an empty index when deleting the last referrer with SkipReferrersGC #1120

Sign in to view logs

fix: push an empty index when deleting the last referrer with SkipReferrersGC

fix: push an empty index when deleting the last referrer with SkipReferrersGC #1120

Triggered via pull request September 11, 2023 08:00
@WwwsylviaWwwsylvia
synchronize #593
Wwwsylvia:fix_skipGC
Status Success
Total duration 2m 1s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

codeql-analysis.yml

on: pull_request
Matrix: Analyze
Fit to window
Zoom out
Zoom in