Skip to content

Update warnings#81

Merged
proux01 merged 2 commits into
math-comp:masterfrom
proux01:upd-warnings
Apr 13, 2026
Merged

Update warnings#81
proux01 merged 2 commits into
math-comp:masterfrom
proux01:upd-warnings

Silence the new rewrite-rw warning

245e922
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
rocq-core
succeeded Apr 13, 2026 in 40s