Skip to content
Back to pull request #1152

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

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 #998

Triggered via pull request January 16, 2024 09:09
@proux01proux01
synchronize #1152
Status Success
Total duration 8m 56s
Artifacts –

nix-action-8.17.yml

on: pull_request_target
coq
1m 4s
coq
mathcomp-analysis
7m 36s
mathcomp-analysis
mathcomp-analysis-single
7m 35s
mathcomp-analysis-single
Fit to window
Zoom out
Zoom in