Skip to content
.github/workflows/generate_docs.yml

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

Sign in to view logs

Remove MC2.4 deprecations and cleanup mathcomp_extra.v

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

Triggered via pull request October 23, 2025 13:52
@affeldt-aistaffeldt-aist
synchronize #1736
pi8027:deprecation-mc2.4
Status Success
Total duration 39m 0s
Artifacts 1

generate_docs.yml

on: pull_request
generate-artifacts
38m 27s
generate-artifacts
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
mathcomp-analysis_deprecation-mc2.4
21.3 MB
sha256:b3400a030c0a349015af834255d764c6bdf48dddd22cde69418c8ed46a5defa3