CodeQL Security Analysis

Allow HOL Light verify for empty goals #98

Sign in to view logs

Triggered via push January 19, 2026 04:15

main

Status Success

Total duration 6m 27s

Artifacts –

codeql.yml

on: push

Matrix: analyze