Skip to content

chore: merge dev into main #137

chore: merge dev into main

chore: merge dev into main #137

Triggered via pull request August 3, 2026 22:07
@TitusKirchTitusKirch
synchronize #42
dev
Status Success
Total duration 1m 5s
Artifacts

codeql.yml

on: pull_request
Matrix: analyze
Fit to window
Zoom out
Zoom in