Skip to content
Test

Test editor end-to-end #117

Sign in to view logs

Test editor end-to-end

Test editor end-to-end #117

Triggered via push August 23, 2024 19:40
@joneugsterjoneugster
pushed 7431d74
main
Status Failure
Total duration 3m 53s
Artifacts 2

test.yml

on: push
Build server
2m 33s
Build server
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

3 errors
macOS
Process completed with exit code 127.
Linux
Process completed with exit code 254.
Windows
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size
hhu-adam~lean4monaco~GOFL6H.dockerbuild Expired
36.3 KB
lean4monaco Expired
1.04 GB