Skip to content
Back to pull request #1061

Adds measurable_expR and measurable function composition #2564

Sign in to view logs

Adds measurable_expR and measurable function composition

Adds measurable_expR and measurable function composition #2564

Triggered via pull request October 16, 2023 12:37
@hoheinzollernhoheinzollern
synchronize #1061
Status Failure
Total duration 10m 23s
Artifacts –

nix-action-8.14.yml

on: pull_request_target
coq
42s
coq
mathcomp-analysis
9m 12s
mathcomp-analysis
mathcomp-analysis-single
7m 40s
mathcomp-analysis-single
Fit to window
Zoom out
Zoom in

Annotations

2 errors
mathcomp-analysis-single
Process completed with exit code 1.
mathcomp-analysis
Process completed with exit code 1.