Build details
| Build ID | 1416 |
|---|---|
| Evaluation | 369667 (nonguix) |
| Status | Canceled |
| System | x86_64-linux |
| Name | compcert-3.10 |
| Duration | — |
| Finished | — |
| Log file | |
| Derivation | /gnu/store/xvffsk4w2p3m5a8w880ai1zz6xp97ipg-compcert-3.10.drv |
| Dependencies | — |
| Outputs | /gnu/store/gjwz1w6zgyin0ak6szi04jdyz8n8860c-compcert-3.10 |
Build history
| ID | Name | Completion time | |
|---|---|---|---|
| 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 | |
| 1158 | compcert-3.10 | 4 Feb 2022 17:58 | |
| 1144 | compcert-3.10 | 3 Feb 2022 19:47 | |
| 945 | compcert-3.10 | 18 Jan 2022 04:43 | |
| 739 | compcert-3.10 | 9 Jan 2022 11:03 | |
| 624 | compcert-3.10 | 22 Dec 2021 00:52 | |
| 623 | compcert-3.10 | 22 Dec 2021 00:18 | |
| 592 | compcert-3.10 | 17 Dec 2021 17:25 |