CodeQL

chore: release 0.12.17, begin 0.12.18.dev0 development #5559

Sign in to view logs

Triggered via pull request July 16, 2026 12:27

mnriem

opened #3560

chore/release-v0.12.17

Status Success

Total duration 1m 3s

Artifacts –

codeql.yml

on: pull_request

Matrix: Analyze