From a8a4f7d7010622abdc2414eb50b6391ef19fbdba Mon Sep 17 00:00:00 2001
From: Jan Midtgaard <mail@janmidtgaard.dk>
Date: Tue, 6 Aug 2024 11:07:34 +0200
Subject: [PATCH] Add tmate session

---
 .github/workflows/common.yml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/.github/workflows/common.yml b/.github/workflows/common.yml
index 15157a2f..d76436af 100644
--- a/.github/workflows/common.yml
+++ b/.github/workflows/common.yml
@@ -105,6 +105,11 @@ jobs:
       - name: Checkout code
         uses: actions/checkout@v4
 
+      - name: Setup tmate session
+        uses: mxschmitt/action-tmate@v3
+        with:
+          detached: true
+
       - name: Pre-setup ($PATH, cache prefix, custom OPAM package for the compiler)
         id: presetup
         shell: bash