diku-dk/futhark-ci not found