Skip to content

Improve interface parser diagnostics - #190

Merged
dellaert merged 1 commit into
masterfrom
codex/parser-diagnostics
Jul 29, 2026
Merged

Improve interface parser diagnostics#190
dellaert merged 1 commit into
masterfrom
codex/parser-diagnostics

Improve interface parser diagnostics

9838b7a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Tests for 🐍 3.12
succeeded Jul 27, 2026 in 35s