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 2f56de686010b2dda7ee22cb7d5cc328)

Currently displaying revision 2f56de686010b2dda7ee22cb7d5cc328 , 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 2f56de686010b2dda7ee22cb7d5cc328)

Places