Skip to content

Merge branch 'agda:master' into deprecate-README-Inspect

0e9de6e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Closed

[ deprecate ] README.Inspect #2928

Merge branch 'agda:master' into deprecate-README-Inspect
0e9de6e
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
check-whitespace
succeeded Apr 13, 2026 in 7s