Add implication: integral domains are not trivial #3804
Triggered via pull request
November 25, 2024 11:45
fingolfin
Status
Success
Total duration
2h 14m 21s
Artifacts
–
CI.yml
on: pull_request
Documentation
16m 57s
Matrix: test
Annotations
1 notice
|
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.
|