Skip to content
CI

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

Sign in to view logs

Update DominguezRios to delete boxes that are already searched.

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Julia 1 - ubuntu-latest - x64 - pull_request
17m 30s
Julia 1.10 - ubuntu-latest - x86 - pull_request
15m 16s
Julia 1 - windows-latest - x64 - pull_request
22m 28s
Julia 1.10 - ubuntu-latest - x64 - pull_request
13m 26s
1h 8m 40s