Skip to content
Back to pull request #39574

Fixed issue causing the quotient of vector subspaces to throw an exception when divisor is the zero space #19081

Sign in to view logs

Fixed issue causing the quotient of vector subspaces to throw an exception when divisor is the zero space

Fixed issue causing the quotient of vector subspaces to throw an exception when divisor is the zero space #19081

Triggered via pull request March 3, 2025 07:30
@Noel-RoemmeleNoel-Roemmele
synchronize #39574
Noel-Roemmele:39507QuotientVectorSubspaceZeroSpace
Status Success
Total duration 3m 42s
Artifacts –

lint.yml

on: pull_request
Lint
3m 32s
Lint
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Lint
The process '/usr/bin/git' failed with exit code 128