File 3093-Fix-Dialyzer-failures-in-CI.patch of Package erlang

Overview Repositories Revisions Requests Users Attributes Meta

File 3093-Fix-Dialyzer-failures-in-CI.patch of Package erlang (Revision 141dc5cf1cf76598898fdde76784937f)

Currently displaying revision 141dc5cf1cf76598898fdde76784937f , Show latest

From 3a099f8a6f38e199163bfbf6b5844c9e3d04c1a4 Mon Sep 17 00:00:00 2001
From: Tom <TD5@users.noreply.github.com>
Date: Mon, 15 May 2023 09:57:41 +0100
Subject: [PATCH] Fix Dialyzer failures in CI

Dialyzer failed in CI during testing because we'd run the tests in a Docker image which uses the output of a build of OTP, but that build doesn't include the `scripts/` directory (which contains the script for running Dialyzer) from the main Git repository. This change mirrors that directory into the Docker image used for testing so that it can be run there.
---
 .github/workflows/main.yaml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml
index ddb0b20361..4bd0e90cac 100644
--- a/.github/workflows/main.yaml
+++ b/.github/workflows/main.yaml
@@ -444,6 +444,7 @@ jobs:
             -e CTRUN_TIMEOUT=90 -e SPEC_POSTFIX=gh \
             -e EXTRA_ARGS="-ct_hooks cth_surefire [{path,\"/buildroot/otp/$DIR/make_test_dir/${{ matrix.type }}_junit.xml\"}]" \
             -v "$PWD/make_test_dir:/buildroot/otp/$DIR/make_test_dir" \
+            -v "$PWD/scripts:/buildroot/otp/scripts" \
             otp "make TYPE=${TYPE} && make ${APP}_test TYPE=${TYPE}"
           ## Rename os_mon to debug for debug build
           if [ "$APP" != "${{ matrix.type }}" ]; then
-- 
2.35.3

Places

File 3093-Fix-Dialyzer-failures-in-CI.patch of Package erlang (Revision 141dc5cf1cf76598898fdde76784937f)

Places