docs: Document export: 'COQ_IMAGE' along with a test
#89
| Job | Run time |
|---|---|
| 2m 27s | |
| 13s | |
| 2m 40s |
export: 'COQ_IMAGE' along with a test
#89
| Job | Run time |
|---|---|
| 2m 27s | |
| 13s | |
| 2m 40s |