Skip to content
CodeQL Security Analysis

proofs(Layer 1.0): close slash-slash inductive case via mutual recursion (#113) #414

Sign in to view logs

proofs(Layer 1.0): close slash-slash inductive case via mutual recursion (#113)

proofs(Layer 1.0): close slash-slash inductive case via mutual recursion (#113) #414

Triggered via pull request June 2, 2026 19:12
@hyperpolymathhyperpolymath
opened #119
proofs/layer-1-0-slash-slash-closure
Status Success
Total duration 12m 32s
Artifacts –

codeql.yml

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

Annotations

2 warnings
analyze (actions, none)
Cannot create diff range extension pack for diff-informed queries; reverting to performing full analysis.
analyze (actions, none)
Error retrieving diff main...hyperpolymath:proofs/layer-1-0-slash-slash-closure: Not Found - https://docs.github.com/rest/commits/commits#compare-two-commits