Update to latest Coq 8.15 and mathcomp 1.14
Status | Pipeline | Created by | Stages | |
|---|---|---|---|---|
Passed 00:07:14
|  | Stage: build Stage: process |
Download artifacts
No artifacts found | |
Passed 00:07:13
| | Stage: build Stage: process |
Download artifacts
No artifacts found | |
Passed 00:07:02
|  | Stage: build Stage: process |
Download artifacts
No artifacts found | |
Failed 00:06:54
| | Stage: build Stage: process |
Download artifacts
No artifacts found | |
Failed 00:06:50
| | Stage: build Stage: process |
Download artifacts
No artifacts found | |
Failed 00:07:23
| | Stage: build Stage: process |
Download artifacts
No artifacts found | |
Failed 00:06:53
| | Stage: build Stage: process |
Download artifacts
No artifacts found | |
Failed 00:07:24
| | Stage: build Stage: process |
Download artifacts
No artifacts found | |
Failed 00:03:30
| | Stage: build Stage: process |
Download artifacts
No artifacts found | |
Failed 00:04:13
| | Stage: build Stage: process |
Download artifacts
No artifacts found | |
Failed 00:03:35
| | Stage: build Stage: process |
Download artifacts
No artifacts found | |
Failed 00:16:00
|  | Stage: build Stage: process |
Download artifacts
No artifacts found | |
