CI: 💄📝👷 Bump up the version of Rocqnavi#1916

Merged

affeldt-aist merged 1 commit intomath-comp:masterfrom

proof-ninja:yoshihiro503@rocqnavi-ci-timeout

Mar 25, 2026

Commits on Mar 25, 2026

chore: :lipstick::memo::construction_worker: Bump up version of Rocqnavi to (0.3.1 → 0.4.1)
yoshihiro503
committed