Evaluation #564451, nonguix jobset
Completed 18 Jun 2022 13:23 in 6 minutes.
| Channel | Commit | |
|---|---|---|
| https://git.savannah.gnu.org/git/guix.git | 85d7ad2be89b4a93e23b2e5715f90a682c34c09d | |
| https://gitlab.com/nonguix/nonguix.git | c90d3219726342c034b5404bd60849fc8bff37c8 |
| ID | Completion time | Job | Name | System | ||
|---|---|---|---|---|---|---|
| 1942 | 18 Jun 2022 13:25 | compcert.x86_64-linux | compcert-3.10 | x86_64-linux |