CodeQL Analysis

refactor: proof golf from Aristotle — eliminate intermediate bindings #11

Sign in to view logs

Triggered via pull request March 29, 2026 02:01

opened #12

refactor/aristotle-proof-golf

Status Success

Total duration 1m 10s

Artifacts –

codeql.yml

on: pull_request