Evaluation #648768, nonguix jobset
Completed 13 Aug 2022 21:28 in 6 minutes.
| Channel | Commit | |
|---|---|---|
| https://git.savannah.gnu.org/git/guix.git | 82ea33d295ce7f2f351c662fc9d8eece024ab2ab | |
| https://gitlab.com/nonguix/nonguix.git | 9ddaa356d24ccba0a064d9e42c71d964e4f9c088 |
| ID | Completion time | Job | Name | System | ||
|---|---|---|---|---|---|---|
| 2151 | 13 Aug 2022 21:36 | compcert.x86_64-linux | compcert-3.11 | x86_64-linux |