Skip to content
Label PR

coqPackages.mathcomp-analysis: rename altreals to experimental-reals #569429

Sign in to view logs

coqPackages.mathcomp-analysis: rename altreals to experimental-reals

coqPackages.mathcomp-analysis: rename altreals to experimental-reals #569429

Triggered via pull request November 5, 2024 12:38
@proux01proux01
opened #353818
Status Success
Total duration 17s
Artifacts –

labels.yml

on: pull_request_target
label-pr
7s
label-pr
Fit to window
Zoom out
Zoom in