From da10ff8c30ffb81f397a34ff52043ae91ca6265b Mon Sep 17 00:00:00 2001 From: Luca Terracciano Date: Wed, 7 May 2025 10:53:22 +0200 Subject: [PATCH 1/2] ci: remove gitlab ci docs job --- .gitlab-ci.yml | 20 +------------------- 1 file changed, 1 insertion(+), 19 deletions(-) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index baae1a7..91d6045 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -33,22 +33,4 @@ build: only: - main - merge_requests - - tags - -docs: - image: ghcr.io/algebraic-programming/hicr/docs:latest - tags: - - docker - - tiny - script: - - echo "Checking TaskR source and test formatting..." - - .build-tools/style/check-style.sh check include - - .build-tools/style/check-style.sh check tests - - .build-tools/style/check-style.sh check examples - - echo "Building code documentation..." - - make -j1 -C docs - only: - - main - - merge_requests - - tags - + - tags \ No newline at end of file From 196b6bed70083133f47511736009d7f742e13c11 Mon Sep 17 00:00:00 2001 From: Luca Terracciano Date: Wed, 7 May 2025 10:56:45 +0200 Subject: [PATCH 2/2] ci: remove OVNI build from gitlab ci --- .gitlab-ci.yml | 3 --- 1 file changed, 3 deletions(-) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 91d6045..15a9058 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -9,8 +9,6 @@ build: script: - export HOME=/home/hicr - source /home/hicr/.hicr-env.sh - - echo "Compiling OVNI..." - - mkdir extern/tracr/extern/ovni/build; pushd extern/tracr/extern/ovni/build; cmake .. -DCMAKE_INSTALL_PREFIX=/usr -DBUILD_TESTING=FALSE; make -j24; sudo make install; popd - echo "Building TaskR..." - mkdir build - meson setup build -Dbuildtype=debug -Db_coverage=true -DbuildTests=true -DbuildExamples=true -DdistributedEngine=mpi -DbuildInstrumentation=true -DcompileWarningsAsErrors=true @@ -32,5 +30,4 @@ build: path: build/meson-logs/coverage.xml only: - main - - merge_requests - tags \ No newline at end of file