From ce2fc3c25448250749e3a59f2d89f985b44dcae2 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Oto=20=C5=A0=C5=A5=C3=A1va?= Date: Wed, 10 Jan 2024 12:30:16 +0100 Subject: [PATCH] .gitlab-ci: remove old 'doc' target --- .gitlab-ci.yml | 10 ---------- 1 file changed, 10 deletions(-) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index f6b114042..89e225fa0 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -209,16 +209,6 @@ trivial_checks: # aggregated to save some processing - ci/no_assert_check.sh - ci/deckard_commit_check.sh -doc: - <<: *sanity - script: - - meson build_doc -Ddoc=enabled - - ninja -C build_doc doc-strict - artifacts: - expire_in: 6 hour - paths: - - doc/html - lint:other: <<: *sanity script: -- 2.47.2