fix!: turn Chairmarks and JET into weakdeps #2469
Triggered via pull request
January 27, 2026 10:31
Status
Failure
Total duration
1h 8m 33s
Artifacts
–
Test.yml
on: pull_request
Matrix: test-DI-Backend
Matrix: test-DI-Core
Matrix: test-DIT
Annotations
3 errors
|
1.11 - DIT (Formalities)
Process completed with exit code 1.
|
|
1.11 - DIT (Zero)
Process completed with exit code 1.
|
|
1.11 - DI Back (FiniteDiff)
Process completed with exit code 1.
|