Skip to content
CI

Update DominguezRios to delete boxes that are already searched. #422

Sign in to view logs

Update DominguezRios to delete boxes that are already searched.

Update DominguezRios to delete boxes that are already searched. #422

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Julia 1.10 - ubuntu-latest - x86 - pull_request
15m 49s
Julia 1 - windows-latest - x64 - pull_request
20m 33s
Julia 1 - ubuntu-latest - x64 - pull_request
16m 32s
Julia 1.10 - ubuntu-latest - x64 - pull_request
14m 59s
1h 7m 53s