CodeQL

Merge pull request #4824 from JackuB/patch-1 #4164

Sign in to view logs

Triggered via push November 8, 2023 21:04

github-merge-queue[bot]

develop

Status Success

Total duration 3m 21s

Artifacts –

codeql.yml

on: push

Matrix: Analyze