Skip to content
Lint

Add minimal relation bases for univariate polynomial matrices #18690

Sign in to view logs

Add minimal relation bases for univariate polynomial matrices

Add minimal relation bases for univariate polynomial matrices #18690

Triggered via pull request February 15, 2025 22:46
@vneigervneiger
synchronize #39516
vneiger:introduce_minimal_relation_basis
Status Failure
Total duration 3m 48s
Artifacts –

lint.yml

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

Annotations

1 error and 1 warning
Lint
Process completed with exit code 1.
Lint
The process '/usr/bin/git' failed with exit code 128