Skip to content

fix #1911 - #2139

Open
affeldt-aist wants to merge 2 commits into
math-comp:masterfrom
affeldt-aist:fix_1911
Open

affeldt-aist wants to merge 2 commits into
math-comp:masterfrom
affeldt-aist:fix_1911

fix CI 9.3

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

Annotations

2 warnings and 1 notice
rocq-core
succeeded Oct 22, 2026 in 1m 41s