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 |