Skip to content
Linux

[FIX] is_option_set: match both long and short ids #837

Sign in to view logs

[FIX] is_option_set: match both long and short ids

[FIX] is_option_set: match both long and short ids #837

Triggered via pull request April 9, 2024 11:32
@seqan-actionsseqan-actions
unlabeled #226
eseiler:misc/is_option_set
Status Success
Total duration 1m 57s
Artifacts –

ci_misc.yml

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