Skip to content
Build

Remove duplicated definition/lemma. #119

Sign in to view logs

Remove duplicated definition/lemma.

Remove duplicated definition/lemma. #119

Triggered via push April 25, 2025 13:40
@xavierleroyxavierleroy
pushed 9fec54a
master
Status Failure
Total duration 7m 5s
Artifacts –

build.yml

on: push
macos
6m 59s
macos
Matrix: linux
Fit to window
Zoom out
Zoom in

Annotations

11 errors
linux (x86_64)
Process completed with exit code 2.
linux (x86_32)
The operation was canceled.
linux (x86_32)
The strategy configuration was canceled because "linux.x86_64" failed
linux (aarch64)
The operation was canceled.
linux (aarch64)
The strategy configuration was canceled because "linux.x86_64" failed
linux (arm)
The operation was canceled.
linux (arm)
The strategy configuration was canceled because "linux.x86_64" failed
linux (ppc)
The operation was canceled.
linux (ppc)
The strategy configuration was canceled because "linux.x86_64" failed
linux (riscv)
The operation was canceled.
linux (riscv)
The strategy configuration was canceled because "linux.x86_64" failed