Merge branch 'master' of github.com:Jai-Tushar/devGridap.jl into hho #2781
Annotations
8 errors
Tests 1.8 - ubuntu-latest - x64 - push
Canceling since a higher priority waiting request for 'CI-refs/heads/hho' exists
|
Tests 1.10 - ubuntu-latest - x86 - push
Canceling since a higher priority waiting request for 'CI-refs/heads/hho' exists
|
Tests 1.10 - macos-latest - aarch64 - push
Canceling since a higher priority waiting request for 'CI-refs/heads/hho' exists
|
Tests 1.9 - ubuntu-latest - x64 - push
Canceling since a higher priority waiting request for 'CI-refs/heads/hho' exists
|
Tests 1.10 - ubuntu-latest - x64 - push
Canceling since a higher priority waiting request for 'CI-refs/heads/hho' exists
|
Drivers 1.10 - ubuntu-latest - x64 - push
Canceling since a higher priority waiting request for 'CI-refs/heads/hho' exists
|
Drivers 1.10 - ubuntu-latest - x64 - push
The operation was canceled.
|
Tests 1.10 - windows-latest - x64 - push
Canceling since a higher priority waiting request for 'CI-refs/heads/hho' exists
|