CodeQL

ci: run miri nightly instead of on every push and PR #3059

Sign in to view logs

Triggered via pull request May 22, 2026 20:25

andygrove

opened #4411

andygrove:ci-miri-nightly

Status Success

Total duration 1m 54s

Artifacts –

codeql.yml

on: pull_request

Analyze Actions