From 7dcf4a4cc88a669d1c4f666b4f03ab8b9025329f Mon Sep 17 00:00:00 2001 From: Wendell Piez Date: Mon, 25 Jul 2022 13:34:51 -0400 Subject: [PATCH] Profile Resolution spec: updated names of 'remove' directives (#1381) * Profile Resolution spec: updated names of 'remove' directives * Resolves #1246. Also repairs a few errors in surrounding copy. * Adding swap space to address Hugo memory exhaustion. Co-authored-by: David Waltermire --- .../workflows/workflow-generate-website.yml | 5 +++++ .../profile-resolution-specml.xml | 19 ++++++++++--------- 2 files changed, 15 insertions(+), 9 deletions(-) diff --git a/.github/workflows/workflow-generate-website.yml b/.github/workflows/workflow-generate-website.yml index c212ad7c03..17ef0679fc 100644 --- a/.github/workflows/workflow-generate-website.yml +++ b/.github/workflows/workflow-generate-website.yml @@ -86,6 +86,11 @@ jobs: cd "${BUILD_PATH}" mkdir -p "${JAVA_CLASSPATH}" mvn dependency:copy-dependencies -DoutputDirectory="${JAVA_CLASSPATH}" + - name: Setup Swap Space + # Since Hugo is requiring more memory + uses: pierotofy/set-swap-space@49819abfb41bd9b44fb781159c033dba90353a7c + with: + swap-size-gb: 10 # Build Artifacts # --------------- - name: Generate specification documentation diff --git a/src/specifications/profile-resolution/profile-resolution-specml.xml b/src/specifications/profile-resolution/profile-resolution-specml.xml index 7930951bfa..3b0636bdce 100644 --- a/src/specifications/profile-resolution/profile-resolution-specml.xml +++ b/src/specifications/profile-resolution/profile-resolution-specml.xml @@ -1325,27 +1325,28 @@ control: