Add implication: integral domains are not trivial #3803
Triggered via pull request
November 25, 2024 11:42
fingolfin
Status
Cancelled
Total duration
3m 7s
Artifacts
–
CI.yml
on: pull_request
Documentation
2m 52s
Matrix: test
Annotations
7 errors and 1 notice
|
test (1.10, macOS-latest)
Process completed with exit code 1.
|
|
test (1.10, windows-latest)
Canceling since a higher priority waiting request for 'Run tests-refs/pull/1912/merge-true' exists
|
|
Documentation
Canceling since a higher priority waiting request for 'Run tests-refs/pull/1912/merge-true' exists
|
|
test (nightly, ubuntu-latest)
Canceling since a higher priority waiting request for 'Run tests-refs/pull/1912/merge-true' exists
|
|
test (1.11, ubuntu-latest)
Canceling since a higher priority waiting request for 'Run tests-refs/pull/1912/merge-true' exists
|
|
test (1.10, ubuntu-latest)
Canceling since a higher priority waiting request for 'Run tests-refs/pull/1912/merge-true' exists
|
|
test (1.6, ubuntu-latest)
Canceling since a higher priority waiting request for 'Run tests-refs/pull/1912/merge-true' exists
|
|
test (1.6, ubuntu-latest)
[setup-julia] If you are testing 1.6 as a Long Term Support (lts) version, consider using the new "lts" version specifier instead of "1.6" explicitly, which will automatically resolve the current lts.
|