CI broken

[Jacarte]

Hi @olapiv

Could you take a look? https://github.com/KTH/slumps/runs/1485427473

It seems that something is broken with the CI :(

[olapiv]

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?

[Jacarte]

We can remove it