Skip to content

Refine reverse arrows when only one clause remains #437

Refine reverse arrows when only one clause remains

Refine reverse arrows when only one clause remains #437

Triggered via push May 3, 2026 23:24
Status Success
Total duration 43s
Artifacts

codeql.yml

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