Skip to content

fix!: turn Chairmarks and JET into weakdeps #2464

fix!: turn Chairmarks and JET into weakdeps

fix!: turn Chairmarks and JET into weakdeps #2464

Triggered via pull request January 26, 2026 22:56
@gdallegdalle
synchronize #958
gd/ditdeps
Status Failure
Total duration 48m 22s
Artifacts

Test.yml

on: pull_request
Matrix: test-DI-Backend
Matrix: test-DI-Core
Matrix: test-DIT
Fit to window
Zoom out
Zoom in

Annotations

6 errors
1.11 - DI Back (GTPSA)
Process completed with exit code 1.
1.11 - DIT (Formalities)
Process completed with exit code 1.
1.11 - DI Back (ForwardDiff)
Process completed with exit code 1.
1.11 - DIT (Zero)
Process completed with exit code 1.
1.11 - DI Core (ZeroBackends)
Process completed with exit code 1.
1.11 - DI Back (FiniteDiff)
Process completed with exit code 1.