CodeQL

Rename RunWitness to RunTranslator #1709

Sign in to view logs

Triggered via pull request September 3, 2026 01:47

xmap

opened #770

rename-run-witness-to-translator

Status Success

Total duration 4m 11s

Artifacts –

codeql.yml

on: pull_request

Analyze (python)