Evaluation #105929, nonguix jobset
Completed 30 Nov 2021 03:58 in 6 minutes.
| Channel | Commit | |
|---|---|---|
| https://git.savannah.gnu.org/git/guix.git | d95a982cdd898790d247f013440f08a448265e3f | |
| https://gitlab.com/nonguix/nonguix.git | 3ec1e7f16590c3b681d6cb3b110b0d9c115586ea |
| ID | Completion time | Job | Name | System | ||
|---|---|---|---|---|---|---|
| 458 | 30 Nov 2021 04:19 | compcert.x86_64-linux | compcert-3.9 | x86_64-linux |