Evaluation #532061, nonguix jobset
Completed 26 May 2022 10:29 in 1 minute.
Channel | Commit | |
---|---|---|
https://git.savannah.gnu.org/git/guix.git | 8dc47f9ee4f471cf4c2499bfbd90d281ba5c5368 | |
https://gitlab.com/nonguix/nonguix.git | cdb9c161062a3f5435a36a2c2d9b31877b0975a9 |
ID | Completion time | Job | Name | System | ||
---|---|---|---|---|---|---|
1773 | 26 May 2022 10:32 | compcert.x86_64-linux | compcert-3.10 | x86_64-linux |