Skip to content
Back to pull request #1459

When printing matrices, replace zeros by dots #806

Sign in to view logs

When printing matrices, replace zeros by dots

When printing matrices, replace zeros by dots #806

Triggered via pull request October 10, 2024 09:35
@fingolfinfingolfin
synchronize #1459
mh/zero-dot-matrix
Status Failure
Total duration 12m 25s
Artifacts –

nemo.yml

on: pull_request
generatematrix
47s
generatematrix
Matrix: test-oscar
Fit to window
Zoom out
Zoom in

Annotations

2 errors
[Nemo]#release - ubuntu-latest, julia ~1.10.0-0
Process completed with exit code 1.
matching: [Nemo#master] - ubuntu-latest, julia ~1.10.0-0
Process completed with exit code 1.