make it compatible with Coq 8.7, and test that
Status | Pipeline | Created by | Stages | Actions |
|---|---|---|---|---|
Passed 00:24:59
|  | Stage: test |
Download artifacts
No artifacts found | |
Passed 00:30:46
|  | Stage: test |
Download artifacts
No artifacts found | |
Passed 00:27:29
| | Stage: test |
Download artifacts
No artifacts found | |
| Stage: test |
Download artifacts
No artifacts found | ||
Failed 00:17:24
| | Stage: test |
Download artifacts
No artifacts found | |
Failed 00:00:24
| | Stage: test |
Download artifacts
No artifacts found | |
Failed 00:00:27
| | Stage: test |
Download artifacts
No artifacts found | |
Passed 00:18:22
| | Stage: test |
Download artifacts
No artifacts found | |
