Skip to content

fix bugs when printing: add -1 for thesold and check if mvbdu is true #530

fix bugs when printing: add -1 for thesold and check if mvbdu is true

fix bugs when printing: add -1 for thesold and check if mvbdu is true #530

Triggered via push March 27, 2025 13:12
Status Failure
Total duration 13m 21s
Artifacts 4

ci.yml

on: push
Matrix: cli-and-doc
webapp-playwright-test
webapp-playwright-test
Matrix: deploy
Fit to window
Zoom out
Zoom in

Annotations

6 errors and 1 notice
lint-ocamlformat
Process completed with exit code 1.
python
Process completed with exit code 1.
cli-and-doc (4.14.x, labltk)
Process completed with exit code 2.
cli-and-doc (4.14.x)
Process completed with exit code 2.
cli-and-doc (4.13.x, labltk)
Process completed with exit code 2.
cli-and-doc (4.13.x)
Process completed with exit code 2.
webapp-windows
An internal error has occurred in cache backend. Please check https://www.githubstatus.com for any ongoing issue in actions.

Artifacts

Produced during runtime
Name Size Digest
linux Expired
158 MB
sha256:d6ca06b83b3ee7b14ec297c42a3e4103995c0de63f296addc4c4014743a5f6ab
macos Expired
147 MB
sha256:e0aaca9ac7dbfceb5d9cf060706f0a1b105ee39d77ccdc0fccf6f1bfb1c3f3ff
online-ui Expired
30.1 MB
sha256:b4d5f3a0e54e63f4f29a9ee01c34f66ceebe3c8a70f69134ca5a1c2f94e32d3f
windows Expired
155 MB
sha256:1f4ba713cf38bb8a51426ee431e77b52479a3e29432df1658d183d2db5d0596f