Set pending OfBorg status

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

Sign in to view logs

Triggered via pull request November 5, 2024 12:38

proux01

opened #353818

Status Success

Total duration 11s

Artifacts –

ofborg-pending.yml

on: pull_request_target

set-ofborg-pending