Evaluation #544004, nonguix jobset
Completed 3 Jun 2022 23:08 in 6 minutes.
| Channel | Commit | |
|---|---|---|
| https://git.savannah.gnu.org/git/guix.git | 0c1f4ebc55772b45007cc6c2dc52945f1da3cca7 | |
| https://gitlab.com/nonguix/nonguix.git | 1124f68df8467a5c1136f7205253ccc717d9381d |
| ID | Completion time | Job | Name | System | ||
|---|---|---|---|---|---|---|
| 1829 | 3 Jun 2022 23:13 | compcert.x86_64-linux | compcert-3.10 | x86_64-linux |