From fe7cddd4bccd10594aa2914242d095bae2453558 Mon Sep 17 00:00:00 2001
From: Piotr Gawron <p.gawron@atcomp.pl>
Date: Tue, 13 Feb 2024 14:40:22 +0100
Subject: [PATCH] insert generated snippets in the docs
---
.gitlab-ci.yml | 3 +++
CHANGELOG | 1 +
2 files changed, 4 insertions(+)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 1158983bab..ef29a8c6b4 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -396,6 +396,9 @@ build_jar:
- curl -sL https://deb.nodesource.com/setup_12.x | bash -
- DEBIAN_FRONTEND=noninteractive apt-get install -y nodejs
- mvn clean compile install -DskipTests=true
+ - cd web
+ - mvn clean compile install
+ - cd ..
- cp web/target/*exec.jar minerva.jar
test:dependency_conflict:
diff --git a/CHANGELOG b/CHANGELOG
index f2487e1364..197a31a5bb 100644
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -7,6 +7,7 @@ minerva (17.0.0~beta.3) unstable; urgency=medium
* Bug fix: (regression) uploading project produces a lot of errors like:
Problem with checking property:
private final byte java.lang.String.coder (#1983)
+ * Bug fix: (regression) API docs did not contain generated content (#1983)
-- Piotr Gawron <piotr.gawron@uni.lu> Tue, 13 Feb 2024 11:00:00 +0200
--
GitLab