CodeQL Security Analysis

Feat/solo core metatheory proofs #1194

Sign in to view logs

Triggered via pull request June 21, 2026 01:18

synchronize #614

feat/solo-core-metatheory-proofs

Status Cancelled

Total duration 10s

Artifacts –

codeql.yml

on: pull_request

Matrix: analyze

Annotations

2 errors

analyze (actions, none)

Canceling since a higher priority waiting request for CodeQL Security Analysis-refs/pull/614/merge exists

CodeQL Security Analysis

Canceling since a higher priority waiting request for CodeQL Security Analysis-refs/pull/614/merge exists