From 24b81143930d8d994b9dd30961b45f83f5b3d2cf Mon Sep 17 00:00:00 2001
From: Boris Feld <boris@comet.com>
Date: Tue, 29 Oct 2024 17:15:17 +0100
Subject: [PATCH] Add Github run number to distinguish between different runs

---
 .github/workflows/test-examples.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/test-examples.yml b/.github/workflows/test-examples.yml
index 5c712a8..e5f3e31 100644
--- a/.github/workflows/test-examples.yml
+++ b/.github/workflows/test-examples.yml
@@ -74,6 +74,7 @@ jobs:
           notebook=$(basename -- "${NOTEBOOK_TO_TEST}")
           echo "TEST_DIRECTORY=${directory}"  >> "$GITHUB_ENV"
           echo "TEST_NOTEBOOK=${notebook}" >> "$GITHUB_ENV"
+          echo "COMET_LOG_OTHER_GITHUB_RUN=${{github.run_number}}" >> "$GITHUB_ENV"
 
       - name: debugging
         if:  runner.debug == '1'