Skip to content
Code scanning - action

Prune node when inserting into data/empty record #250

Sign in to view logs

Prune node when inserting into data/empty record

Prune node when inserting into data/empty record #250

Triggered via push July 28, 2023 20:32
@oschwaldoschwald
pushed 7cb4df0
greg/better-node-pruning
Status Success
Total duration 1m 41s
Artifacts –

codeql-analysis.yml

on: push
CodeQL-Build
1m 31s
CodeQL-Build
Fit to window
Zoom out
Zoom in

Annotations

1 warning
CodeQL-Build
1 issue was detected with this workflow: git checkout HEAD^2 is no longer necessary. Please remove this step as Code Scanning recommends analyzing the merge commit for best results.