Revert "ofborg: post a finished check if evaluation starts"#617
Merged
cole-h merged 1 commit intoNixOS:releasedfrom Nov 11, 2022
Merged
Revert "ofborg: post a finished check if evaluation starts"#617cole-h merged 1 commit intoNixOS:releasedfrom
cole-h merged 1 commit intoNixOS:releasedfrom
