Skip to content
Test on Linux server

Test editor end-to-end #13

Sign in to view logs

Test editor end-to-end

Test editor end-to-end #13

Triggered via push August 23, 2024 19:17
@joneugsterjoneugster
pushed 42cd2bd
main
Status Success
Total duration 3m 53s
Artifacts 2

build.yml

on: push
build
2m 37s
build
use
1m 0s
use
Fit to window
Zoom out
Zoom in

Artifacts

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