CodeQL

chore: release 0.13.0, begin 0.13.1.dev0 development #5675

Sign in to view logs

Triggered via pull request July 17, 2026 18:58

mnriem

opened #3588

chore/release-v0.13.0

Status Success

Total duration 1m 13s

Artifacts –

codeql.yml

on: pull_request

Matrix: Analyze