CodeQL

Remove repeated line and improve naming consistency #538

# to view logs

Re-run triggered January 21, 2024 10:25

MatthiasValvekens

#367

dspinellis:master

Status Success

Total duration 2m 50s

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