CodeQL

chore: release 0.13.3, begin 0.13.4.dev0 development #5837

Sign in to view logs

Triggered via pull request July 22, 2026 12:13

mnriem

opened #3645

chore/release-v0.13.3

Status Success

Total duration 1m 4s

Artifacts –

codeql.yml

on: pull_request

Matrix: Analyze