You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Hey, yeah, it's failing to fetch the submodules. Specifically:
>>Fetching submodules
/usr/bin/git submodule sync
/usr/bin/git -c protocol.version=2 submodule update --init --force --depth=1
Submodule 'souper' (https://github.com/KTH/souper.git) registered for path 'souper'
Error: fatal: No url found for submodule path 'utils/pipeline/wasi-libc' in .gitmodules
Error: The process '/usr/bin/git' failed with exit code 128
Did you add utils/pipeline/wasi-libc as a submodule? It says in your commit that "Submodule wasi-libc added at 215adc", but it's not mentioned in .gitmodules. You also can't follow any link when you press on it in slumps/utils/pipeline/. Do you want to either remove it or add it properly?
Hi @olapiv
Could you take a look? https://github.com/KTH/slumps/runs/1485427473
It seems that something is broken with the CI :(
The text was updated successfully, but these errors were encountered: