Skip to content
Nix CI for bundle 8.18

Adapt to https://github.com/math-comp/math-comp/pull/1052 #158

Sign in to view logs

Adapt to https://github.com/math-comp/math-comp/pull/1052

Adapt to https://github.com/math-comp/math-comp/pull/1052 #158

Triggered via pull request October 24, 2023 18:00
@proux01proux01
opened #1069
Status Success
Total duration 10m 22s
Artifacts –

nix-action-8.18.yml

on: pull_request_target
coq
40s
coq
mathcomp-analysis
9m 3s
mathcomp-analysis
mathcomp-analysis-single
9m 20s
mathcomp-analysis-single
Fit to window
Zoom out
Zoom in