Port to Coq #12512.
Status | Pipeline | Created by | Stages | Actions |
---|---|---|---|---|
Passed 00:15:58
| Stage: build | No artifacts found |
This is an alternative to !464 (closed) avoiding the use of pose
.
Status | Pipeline | Created by | Stages | Actions |
---|---|---|---|---|
Passed 00:15:58
| Stage: build |
Download artifacts
No artifacts found |