Skip to content
Test

Test editor end-to-end #130

Sign in to view logs

Test editor end-to-end

Test editor end-to-end #130

Triggered via push August 23, 2024 21:06
@joneugsterjoneugster
pushed cdbf6a8
main
Status Failure
Total duration 1m 25s
Artifacts 1

test.yml

on: push
Build docker image
1m 16s
Build docker image
test
0s
test
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Build docker image
'ev' is declared but its value is never read.
Build docker image
'ev' is declared but its value is never read.
Build docker image
buildx failed with: ERROR: failed to solve: process "/bin/sh -c npm run setup_demo" did not complete successfully: exit code: 1

Artifacts

Produced during runtime
Name Size
hhu-adam~lean4monaco~V8SMRW.dockerbuild Expired
8.63 KB