Ignore princess solver for LeanMergeSort #2
Triggered via pull request
December 6, 2024 20:26
vkuncak
Status
Cancelled
Total duration
11m 30s
Artifacts
–
stainless-explicit-fastmachines.yml
on: pull_request
tests
11m 22s
fail_if_pull_request_is_draft
0s