ci: add a JET.jl workflow #48
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
Annotations
20 errors
Documentation
Canceling since a higher priority waiting request for 'CI-refs/pull/10/merge' exists
|
Documentation
The operation was canceled.
|
Julia 1 - macos-latest - pull_request
Canceling since a higher priority waiting request for 'CI-refs/pull/10/merge' exists
|
Julia 1 - macos-latest - pull_request
A task was canceled.
|
JET
Canceling since a higher priority waiting request for 'CI-refs/pull/10/merge' exists
|
JET
The operation was canceled.
|
Julia nightly - ubuntu-latest - pull_request
Canceling since a higher priority waiting request for 'CI-refs/pull/10/merge' exists
|
Julia nightly - ubuntu-latest - pull_request
The operation was canceled.
|
Doctest
Canceling since a higher priority waiting request for 'CI-refs/pull/10/merge' exists
|
Doctest
The operation was canceled.
|
Aqua
Canceling since a higher priority waiting request for 'CI-refs/pull/10/merge' exists
|
Aqua
The operation was canceled.
|
Julia 1 - windows-latest - pull_request
Canceling since a higher priority waiting request for 'CI-refs/pull/10/merge' exists
|
Julia 1 - windows-latest - pull_request
The operation was canceled.
|
Julia 1.9 - ubuntu-latest - pull_request
Canceling since a higher priority waiting request for 'CI-refs/pull/10/merge' exists
|
Julia 1.9 - ubuntu-latest - pull_request
The operation was canceled.
|
Julia 1.8 - ubuntu-latest - pull_request
Canceling since a higher priority waiting request for 'CI-refs/pull/10/merge' exists
|
Julia 1.8 - ubuntu-latest - pull_request
The operation was canceled.
|
Julia 1.6 - ubuntu-latest - pull_request
Canceling since a higher priority waiting request for 'CI-refs/pull/10/merge' exists
|
Julia 1.6 - ubuntu-latest - pull_request
The operation was canceled.
|