Skip to content

fix: improve wrong-mode pushforward/pullback (#932) #2223

fix: improve wrong-mode pushforward/pullback (#932)

fix: improve wrong-mode pushforward/pullback (#932) #2223

Triggered via push November 21, 2025 15:15
Status Success
Total duration 6m 40s
Artifacts
Matrix: docs
Fit to window
Zoom out
Zoom in

Annotations

4 warnings
DI
Failed to save: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0KoMgaQAAAAD2AvDDmGgIQ4SYCkFiPESHQ0hHRURHRTE5MDYARWRnZQ==
DI
Failed to restore: Cache service responded with 400
DIT
Failed to save: <h2>Our services aren't available right now</h2><p>We're working to restore all services as soon as possible. Please check back soon.</p>0nYMgaQAAAAC23ly+vfaRR6g0QkJnTm+cUEFPRURHRTA2MjEARWRnZQ==
DIT
Failed to restore: Cache service responded with 400