drop support for Coq 8.15
Status | Pipeline | Created by | Stages | |
|---|---|---|---|---|
Passed 00:17:31
|  | Stage: build |
Download artifacts
No artifacts found | |
Canceled 00:01:15
| | Stage: build |
Download artifacts
No artifacts found | |
Canceled 00:04:18
| | Stage: build |
Download artifacts
No artifacts found | |
Passed 00:19:39
| | Stage: build |
Download artifacts
No artifacts found | |
Canceled 00:01:29
| | Stage: build |
Download artifacts
No artifacts found |
