Skip to content
Test

Test editor end-to-end #1

Sign in to view logs

Test editor end-to-end

Test editor end-to-end #1

Triggered via push July 29, 2024 13:13
@joneugsterjoneugster
pushed 77b2a7e
main
Status Failure
Total duration 21s
Artifacts –

test.yml

on: push
test
10s
test
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 1 warning
test
No url found for submodule path 'src/monaco-lean4' in .gitmodules
test
The process '/usr/bin/git' failed with exit code 128
test
The process '/usr/bin/git' failed with exit code 128