Skip to content
Lint

Implement dual subdivision and weight vectors for tropical variety #15407

Sign in to view logs

Implement dual subdivision and weight vectors for tropical variety

Implement dual subdivision and weight vectors for tropical variety #15407

Triggered via pull request September 21, 2024 04:14
@verreld7verreld7
synchronize #38536
verreld7:dualsubdivision
Status Failure
Total duration 4m 1s
Artifacts –

lint.yml

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

Annotations

1 error
Lint
Process completed with exit code 1.