Skip to content
Nix CI for bundle 8.16

Drop Coq 8.14 and MC 1.15 and 1.16 support, add Coq 8.19 support #1774

Sign in to view logs

Drop Coq 8.14 and MC 1.15 and 1.16 support, add Coq 8.19 support

Drop Coq 8.14 and MC 1.15 and 1.16 support, add Coq 8.19 support #1774

Triggered via pull request January 15, 2024 15:53
@proux01proux01
synchronize #1152
Status Success
Total duration 9m 58s
Artifacts –

nix-action-8.16.yml

on: pull_request_target
coq
1m 2s
coq
mathcomp-analysis
8m 39s
mathcomp-analysis
mathcomp-analysis-single
8m 21s
mathcomp-analysis-single
Fit to window
Zoom out
Zoom in