Skip to content

Fix ruff format on AG033 test file - #19

Merged
autonomyproof merged 1 commit into
mainfrom
fix/ruff-format
Aug 4, 2026
Merged

Fix ruff format on AG033 test file#19
autonomyproof merged 1 commit into
mainfrom
fix/ruff-format

Fix ruff format on AG033 test file

2d64208
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings
CodeQL
succeeded Aug 4, 2026 in 53s