Javascript license information
Build details
Build ID1913
Evaluation557190 (nonguix)
Status Succeeded
Systemx86_64-linux
Namecompcert-3.10
Duration214 seconds
Finished13 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
WorkerHPpvrr8P
Build history
IDNameCompletion time
1829compcert-3.10 3 Jun 2022 23:13
1828compcert-3.10 2 Jun 2022 07:46
1773compcert-3.1026 May 2022 10:32
1671compcert-3.10 1 May 2022 19:34
1443compcert-3.1014 Mar 2022 23:44
1437compcert-3.1013 Mar 2022 22:53
1416compcert-3.10
1358compcert-3.10 2 Mar 2022 00:22
1263compcert-3.1011 Feb 2022 10:44
1168compcert-3.10 6 Feb 2022 21:53