{"setup-failures":[],"derivation-inputs":[{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/zwm7jjxx0x2va4j4hmzpd10ynwpsky38-guile-3.0.9.drv","uuid":"270257cc-02c9-4b65-b2ba-636d454b40bb"}],"output":"/gnu/store/g47dyhp5r1mqk5y542fii9lw19giv855-guile-3.0.9","output_name":"out","derivation":"/gnu/store/zwm7jjxx0x2va4j4hmzpd10ynwpsky38-guile-3.0.9.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/rryxrcmsmd7mb8r5b7s2ykyl9m6w28nf-module-import-compiled.drv","uuid":"9c209b9d-d2b1-48c3-8bb0-d89d6859cc75"}],"output":"/gnu/store/xd63kzsdb0bqrqk6spsy9wbh1l54wvmi-module-import-compiled","output_name":"out","derivation":"/gnu/store/rryxrcmsmd7mb8r5b7s2ykyl9m6w28nf-module-import-compiled.drv"},{"builds":[{"result":"failure","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/kvnwfmlywmnawd1z9b110mgazlhlzavw-agda-2.7.0.1.drv","uuid":"2064596c-f6fe-4b82-bac8-d13dd8dda1fd"},{"result":"failure","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/kvnwfmlywmnawd1z9b110mgazlhlzavw-agda-2.7.0.1.drv","uuid":"a1646ee0-9029-476c-abe0-2464909c5534"},{"result":"failure","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/kvnwfmlywmnawd1z9b110mgazlhlzavw-agda-2.7.0.1.drv","uuid":"ffb4df61-912e-425c-a9b4-fbb62936715f"}],"output":"/gnu/store/ablg4haz5p8s2k7zi6ivafxz3qlwi6qm-agda-2.7.0.1","output_name":"out","derivation":"/gnu/store/kvnwfmlywmnawd1z9b110mgazlhlzavw-agda-2.7.0.1.drv"},{"builds":[{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/flblzivsjd9g9j7phxsqp7ayn1mgpwc0-agda-1lab-0.0-3.afcf848-checkout.drv","uuid":"ec3172a1-02b2-4a43-adc6-b34e4e36ebdb"},{"result":"success","canceled":false,"processed":true,"priority":0,"derivation":"/gnu/store/g6fnmx2y8cvn3xxbj3cmff9xi9ychm8l-agda-1lab-0.0-3.afcf848-checkout.drv","uuid":"997e65a8-a791-4924-83b0-deb45d9d6478"}],"output":"/gnu/store/srrz6c1im41jq3dcgc5a19blg1hcvpgq-agda-1lab-0.0-3.afcf848-checkout","output_name":"out","derivation":"/gnu/store/s25v203yk7z2bvcpsajalsdjlqjjdrsj-agda-1lab-0.0-3.afcf848-checkout.drv"}],"tags":[{"value":"master","key":"branch"},{"value":"5794926bed6fad4598bb565fb7f49be4205b11a1","key":"revision"},{"value":"package","key":"category"}],"end-time":null,"created-at":"2024-10-20 21:15:01","all-inputs-build":false,"derived-priority":700,"canceled":false,"processed":false,"priority":700,"derivation-name":"/gnu/store/3hm4gkicqlxnw0kygn5gdh94qwrk56vi-agda-1lab-0.0-3.afcf848.drv","uuid":"fd29c353-afee-43e5-9cac-b00e43518a00"}