Skip to content
Test

Test editor end-to-end #131

Sign in to view logs

Test editor end-to-end

Test editor end-to-end #131

Triggered via push August 23, 2024 21:21
@joneugsterjoneugster
pushed 88ead4d
main
Status Success
Total duration 5m 36s
Artifacts 2

test.yml

on: push
Build docker image
3m 13s
Build docker image
test
2m 3s
test
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
hhu-adam~lean4monaco~R8SXMX.dockerbuild Expired
37.6 KB
lean4monaco Expired
1.07 GB