Skip to content

Remove MC2.4 deprecations and cleanup mathcomp_extra.v #190

Remove MC2.4 deprecations and cleanup mathcomp_extra.v

Remove MC2.4 deprecations and cleanup mathcomp_extra.v #190

Triggered via pull request October 23, 2025 13:51
@affeldt-aistaffeldt-aist
synchronize #1736
Status Success
Total duration 32m 6s
Artifacts

nix-action-8.20-2.4.0.yml

on: pull_request_target
Fit to window
Zoom out
Zoom in