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