Skip to content
Nix CI for bundle 8.16

Rn deriv properties #39

Sign in to view logs

Rn deriv properties

Rn deriv properties #39

Triggered via pull request November 2, 2023 19:02
@IshiguroYoshihiroIshiguroYoshihiro
synchronize #26
Status Failure
Total duration 14m 14s
Artifacts –

nix-action-8.16.yml

on: pull_request_target
coq
38s
coq
mathcomp-analysis
13m 16s
mathcomp-analysis
mathcomp-analysis-single
7m 30s
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.