.github/workflows: Fix missing dependency to `LIBCOMPILER_RT`

Following the merge of [0], the use of complex numbers requires the
external microlibrary `compiler-rt`[1].  Without this inclusion, builds
that set `CONFIG_LIBMUSL_COMPLEX` will fail.

[0]: https://github.com/unikraft/lib-musl/pull/64
[1]: https://github.com/unikraft/lib-compiler-rt

Signed-off-by: Alexander Jung <alex@unikraft.io>
Reviewed-by: Razvan Deaconescu <razvand@unikraft.io>
Approved-by: Razvan Deaconescu <razvand@unikraft.io>
Tested-by: Unikraft CI <monkey@unikraft.io>
GitHub-Closes: #1033

diff --git a/.github/workflows/integration.yaml b/.github/workflows/integration.yaml
index 28aa9b7f654b391e46ab3ffc9134901f7168d2cd..3c3f192799129207aabad9b3804ecf1fc3a54669 100644 (file)
--- a/.github/workflows/integration.yaml
+++ b/.github/workflows/integration.yaml
@@ -86,6 +86,8 @@ jobs:
               kconfig:
                 CONFIG_MUSL: "y"
                 CONFIG_LIBMUSL_COMPLEX: "y"
+            compiler-rt:
+              version: staging
           targets:
           - platform: ${{ matrix.plat }}
             architecture: ${{ matrix.arch }}