Merge pull request #9249 from mcmrc/feature/one-sided-option-for-prop… #860

Sign in to view logs

Triggered via push May 25, 2024 15:36

josef-pkt

main

Status Success

Total duration 6m 32s

Artifacts –

codeql.yml

on: push

Matrix: Analyze