24 lines
717 B
Diff
24 lines
717 B
Diff
From 8ea5be64f2684431df3e0e79e0cf114cc1f48020 Mon Sep 17 00:00:00 2001
|
|
From: Christoph Reiter <reiter.christoph@gmail.com>
|
|
Date: Tue, 13 Jun 2023 09:45:25 +0200
|
|
Subject: [PATCH 143/N] CI: set winjitdebug
|
|
|
|
see if it helps with the flaky tests
|
|
---
|
|
.github/workflows/mingw.yml | 2 ++
|
|
1 file changed, 2 insertions(+)
|
|
|
|
diff --git a/.github/workflows/mingw.yml b/.github/workflows/mingw.yml
|
|
index 15cb167..99466b8 100644
|
|
--- a/.github/workflows/mingw.yml
|
|
+++ b/.github/workflows/mingw.yml
|
|
@@ -19,6 +19,8 @@ jobs:
|
|
prefix: mingw-w64-clang-x86_64
|
|
#- msystem: CLANG32
|
|
# prefix: mingw-w64-clang-i686
|
|
+ env:
|
|
+ MSYS: "winjitdebug"
|
|
steps:
|
|
- name: Setup git
|
|
run: |
|