Javascript license information
Build details
Build ID1942
Evaluation564451
Status Failed
Systemx86_64-linux
Namecompcert-3.10
Duration141 seconds
Finished18 Jun 13:25 +0200
Weather New failure
Log fileraw
Derivation
/gnu/store/cbv0i8vfv1dpan2i0bmdz8yqzm4i68iv-compcert-3.10.drv
Dependencies
Outputs
/gnu/store/38qlq3i57lvmfwxw1hn1mwm10dbbdrch-compcert-3.10
Build history
IDNameCompletion time
1913compcert-3.1013 Jun 09:50 +0200
1829compcert-3.10 3 Jun 23:13 +0200
1828compcert-3.10 2 Jun 07:46 +0200
1773compcert-3.1026 May 10:32 +0200
1671compcert-3.10 1 May 19:34 +0200