CodeQL

merge queue: embarking main (6105c2b) and [#108 + #107 + #111] together #272

Sign in to view logs

Triggered via pull request October 16, 2023 22:55

opened #112

mergify/merge-queue/ab7d0dd1f0

Status Success

Total duration 2m 35s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

codeql.yml

on: pull_request

Matrix: Analyze