CodeQL

Add missing return type and return detail for `OptionList.get_option_index` #1760

Sign in to view logs

Triggered via pull request November 15, 2023 08:57

davep

opened #3681

davep:tidy-up-get-option-index

Status Success

Total duration 4m 1s

Artifacts –

codeql.yml

on: pull_request

Matrix: Analyze