progress with CI

Author: SergioMartin86

.github/workflows/hicr.yml

@@ -101,26 +101,4 @@ jobs:
             echo "Running tests..."
             meson test -C build
             echo "Creating coverage report..."
-            ninja -C build coverage
-
-RUN echo "toke is ${OVNI_ACCESS_TOKEN}"
-RUN git clone  -b master --single-branch --depth 1 https://oauth2:${OVNI_ACCESS_TOKEN}@gitlab.huaweirc.ch/zrc-von-neumann-lab/runtime-system-innovations/ovni.git $HOME/ovni \
-  && cd $HOME/ovni  \
-  && mkdir build  \
-  && cd build \ 
-  && cmake .. -DCMAKE_INSTALL_PREFIX=/usr/local -DBUILD_TESTING=FALSE  \
-  && make -j24  \
-  && sudo make install  \
-  && sudo rm -rf $HOME/ovni
-
-# Download nosv
-RUN git clone -b 3.1.0 --single-branch --depth 1 https://github.com/bsc-pm/nos-v.git $HOME/nos-v && \
-  cd $HOME/nos-v && \
-  autoreconf -f -i -v && \
-  ./configure --prefix=/usr/local --with-ovni=/usr && \
-  make all && \
-  sudo make install && \
-  cd .. && \
-  rm -rf $HOME/nos-v && \
-  sudo sed -i '/^\[instrumentation\]/,/^\[/{s/version *= *"none"/version = "ovni"/}' /usr/local/share/nosv.toml && \
-  sudo sed -i '/^\[ovni\]/,/^\[/{s/level *= *2/level = 0/}' /usr/local/share/nosv.toml
+            ninja -C build coverage