Skip to content

Add a RealsE multirule #554

Add a RealsE multirule

Add a RealsE multirule #554

Triggered via pull request February 6, 2026 08:13
@proux01proux01
reopened #1836
Status Success
Total duration 16m 38s
Artifacts

nix-action-9.1.yml

on: pull_request_target
rocq-core
59s
rocq-core
mathcomp-classical
1m 1s
mathcomp-classical
mathcomp-analysis-single
14m 33s
mathcomp-analysis-single
mathcomp-reals
56s
mathcomp-reals
mathcomp-analysis
1m 2s
mathcomp-analysis
mathcomp-reals-stdlib
54s
mathcomp-reals-stdlib
mathcomp-experimental-reals
1m 1s
mathcomp-experimental-reals
mathcomp-analysis-stdlib
59s
mathcomp-analysis-stdlib
mathcomp-infotheo
1m 5s
mathcomp-infotheo
Fit to window
Zoom out
Zoom in