Build details
Build ID | 1913 |
---|---|
Evaluation | 557190 (nonguix) |
Status | Succeeded |
System | x86_64-linux |
Name | compcert-3.10 |
Duration | 214 seconds |
Finished | 13 Jun 2022 09:50 |
Weather | Still succeeding |
Log file | |
Derivation | /gnu/store/bhw4xmk39v18jvzifblm6n6xi6x488kk-compcert-3.10.drv |
Dependencies | — |
Outputs | /gnu/store/i8n5j304rg35iqi17jmx15rph81395w4-compcert-3.10 |
Worker | HPpvrr8P |
Build history
ID | Name | Completion time | |
---|---|---|---|
1829 | compcert-3.10 | 3 Jun 2022 23:13 | |
1828 | compcert-3.10 | 2 Jun 2022 07:46 | |
1773 | compcert-3.10 | 26 May 2022 10:32 | |
1671 | compcert-3.10 | 1 May 2022 19:34 | |
1443 | compcert-3.10 | 14 Mar 2022 23:44 | |
1437 | compcert-3.10 | 13 Mar 2022 22:53 | |
1416 | compcert-3.10 | — | |
1358 | compcert-3.10 | 2 Mar 2022 00:22 | |
1263 | compcert-3.10 | 11 Feb 2022 10:44 | |
1168 | compcert-3.10 | 6 Feb 2022 21:53 |