Use ..OrPtr in more places · Nemocas/Nemo.jl@a38daee

Triggered via pull request September 30, 2024 12:56

fingolfin

opened #1873

mh/OrPtr

Status Cancelled

Total duration 5m 26s

Artifacts –

oscar.yml

on: pull_request

Matrix: test-oscar

6 errors

Pkg resolve failed: home/runner/.julia/packages/OscarDevTools/mv2Iu/src/DevUtils.jl#L250

Skipping tests because resolving package versions failed:

Pkg resolve failed: home/runner/.julia/packages/OscarDevTools/mv2Iu/src/DevUtils.jl#L250

Skipping tests because resolving package versions failed:

Canceling since a higher priority waiting request for 'OscarCI-refs/pull/1873/merge-true' exists

The operation was canceled.

Canceling since a higher priority waiting request for 'OscarCI-refs/pull/1873/merge-true' exists

The operation was canceled.