Add repos URLs for activity checking on compiler builds

.github/workflows/build-daily-SPIRV-Tools.yml

@@ -7,7 +7,50 @@ on:
   workflow_dispatch:
 
 jobs:
+  check-activity:
+    runs-on: ubuntu-latest
+    outputs:
+      should_build: ${{ steps.check.outputs.should_build }}
+    steps:
+      - name: Check for recent commits
+        id: check
+        run: |
+          REPOS='["https://github.com/KhronosGroup/SPIRV-Tools/tree/main"]'
+          STALE_DAYS=7
+
+          SINCE_DATE=$(date -d "${STALE_DAYS} days ago" --iso-8601=seconds)
+          echo "Checking for commits since ${SINCE_DATE} (${STALE_DAYS} days ago)"
+          HAS_RECENT=false
+
+          for repo in $(echo "$REPOS" | jq -r '.[]'); do
+            REPO_PATH=$(echo "$repo" | sed -E 's|https://github.com/([^/]+/[^/]+).*|\1|')
+            BRANCH=$(echo "$repo" | sed -n -E 's|https://github.com/[^/]+/[^/]+/tree/(.+)|\1|p')
+
+            if [ -n "$BRANCH" ]; then
+              echo "Checking $REPO_PATH (branch: $BRANCH) for recent commits..."
+              COMMITS=$(curl -sf "https://api.github.com/repos/${REPO_PATH}/commits?sha=${BRANCH}&since=${SINCE_DATE}&per_page=1" || echo "[]")
+            else
+              echo "Checking $REPO_PATH (default branch) for recent commits..."
+              COMMITS=$(curl -sf "https://api.github.com/repos/${REPO_PATH}/commits?since=${SINCE_DATE}&per_page=1" || echo "[]")
+            fi
+
+            if [ "$(echo "$COMMITS" | jq 'length')" -gt 0 ]; then
+              echo "Found recent commits in $repo"
+              HAS_RECENT=true
+              break
+            fi
+          done
+
+          if [ "$HAS_RECENT" = "true" ]; then
+            echo "should_build=true" >> "$GITHUB_OUTPUT"
+          else
+            echo "No recent commits in any repo (within ${STALE_DAYS} days), skipping build"
+            echo "should_build=false" >> "$GITHUB_OUTPUT"
+          fi
+
   daily-build:
+    needs: check-activity
+    if: ${{ needs.check-activity.outputs.should_build == 'true' }}
     runs-on: [ 'self-hosted', 'ce', 'linux', 'x64' ]
     steps:
       - name: Start from a clean directory

.github/workflows/build-daily-c2rust.yml

@@ -7,7 +7,50 @@ on:
   workflow_dispatch:
 
 jobs:
+  check-activity:
+    runs-on: ubuntu-latest
+    outputs:
+      should_build: ${{ steps.check.outputs.should_build }}
+    steps:
+      - name: Check for recent commits
+        id: check
+        run: |
+          REPOS='["https://github.com/immunant/c2rust/tree/master"]'
+          STALE_DAYS=7
+
+          SINCE_DATE=$(date -d "${STALE_DAYS} days ago" --iso-8601=seconds)
+          echo "Checking for commits since ${SINCE_DATE} (${STALE_DAYS} days ago)"
+          HAS_RECENT=false
+
+          for repo in $(echo "$REPOS" | jq -r '.[]'); do
+            REPO_PATH=$(echo "$repo" | sed -E 's|https://github.com/([^/]+/[^/]+).*|\1|')
+            BRANCH=$(echo "$repo" | sed -n -E 's|https://github.com/[^/]+/[^/]+/tree/(.+)|\1|p')
+
+            if [ -n "$BRANCH" ]; then
+              echo "Checking $REPO_PATH (branch: $BRANCH) for recent commits..."
+              COMMITS=$(curl -sf "https://api.github.com/repos/${REPO_PATH}/commits?sha=${BRANCH}&since=${SINCE_DATE}&per_page=1" || echo "[]")
+            else
+              echo "Checking $REPO_PATH (default branch) for recent commits..."
+              COMMITS=$(curl -sf "https://api.github.com/repos/${REPO_PATH}/commits?since=${SINCE_DATE}&per_page=1" || echo "[]")
+            fi
+
+            if [ "$(echo "$COMMITS" | jq 'length')" -gt 0 ]; then
+              echo "Found recent commits in $repo"
+              HAS_RECENT=true
+              break
+            fi
+          done
+
+          if [ "$HAS_RECENT" = "true" ]; then
+            echo "should_build=true" >> "$GITHUB_OUTPUT"
+          else
+            echo "No recent commits in any repo (within ${STALE_DAYS} days), skipping build"
+            echo "should_build=false" >> "$GITHUB_OUTPUT"
+          fi
+
   daily-build:
+    needs: check-activity
+    if: ${{ needs.check-activity.outputs.should_build == 'true' }}
     runs-on: [ 'self-hosted', 'ce', 'linux', 'x64' ]
     steps:
       - name: Start from a clean directory

.github/workflows/build-daily-circt_trunk.yml

@@ -7,7 +7,50 @@ on:
   workflow_dispatch:
 
 jobs:
+  check-activity:
+    runs-on: ubuntu-latest
+    outputs:
+      should_build: ${{ steps.check.outputs.should_build }}
+    steps:
+      - name: Check for recent commits
+        id: check
+        run: |
+          REPOS='["https://github.com/llvm/circt/tree/main"]'
+          STALE_DAYS=7
+
+          SINCE_DATE=$(date -d "${STALE_DAYS} days ago" --iso-8601=seconds)
+          echo "Checking for commits since ${SINCE_DATE} (${STALE_DAYS} days ago)"
+          HAS_RECENT=false
+
+          for repo in $(echo "$REPOS" | jq -r '.[]'); do
+            REPO_PATH=$(echo "$repo" | sed -E 's|https://github.com/([^/]+/[^/]+).*|\1|')
+            BRANCH=$(echo "$repo" | sed -n -E 's|https://github.com/[^/]+/[^/]+/tree/(.+)|\1|p')
+
+            if [ -n "$BRANCH" ]; then
+              echo "Checking $REPO_PATH (branch: $BRANCH) for recent commits..."
+              COMMITS=$(curl -sf "https://api.github.com/repos/${REPO_PATH}/commits?sha=${BRANCH}&since=${SINCE_DATE}&per_page=1" || echo "[]")
+            else
+              echo "Checking $REPO_PATH (default branch) for recent commits..."
+              COMMITS=$(curl -sf "https://api.github.com/repos/${REPO_PATH}/commits?since=${SINCE_DATE}&per_page=1" || echo "[]")
+            fi
+
+            if [ "$(echo "$COMMITS" | jq 'length')" -gt 0 ]; then
+              echo "Found recent commits in $repo"
+              HAS_RECENT=true
+              break
+            fi
+          done
+
+          if [ "$HAS_RECENT" = "true" ]; then
+            echo "should_build=true" >> "$GITHUB_OUTPUT"
+          else
+            echo "No recent commits in any repo (within ${STALE_DAYS} days), skipping build"
+            echo "should_build=false" >> "$GITHUB_OUTPUT"
+          fi
+
   daily-build:
+    needs: check-activity
+    if: ${{ needs.check-activity.outputs.should_build == 'true' }}
     runs-on: [ 'self-hosted', 'ce', 'linux', 'x64' ]
     steps:
       - name: Start from a clean directory

.github/workflows/build-daily-clad-trunk-clang-21.1.0.yml

@@ -7,7 +7,50 @@ on:
   workflow_dispatch:
 
 jobs:
+  check-activity:
+    runs-on: ubuntu-latest
+    outputs:
+      should_build: ${{ steps.check.outputs.should_build }}
+    steps:
+      - name: Check for recent commits
+        id: check
+        run: |
+          REPOS='["https://github.com/vgvassilev/clad/tree/master"]'
+          STALE_DAYS=7
+
+          SINCE_DATE=$(date -d "${STALE_DAYS} days ago" --iso-8601=seconds)
+          echo "Checking for commits since ${SINCE_DATE} (${STALE_DAYS} days ago)"
+          HAS_RECENT=false
+
+          for repo in $(echo "$REPOS" | jq -r '.[]'); do
+            REPO_PATH=$(echo "$repo" | sed -E 's|https://github.com/([^/]+/[^/]+).*|\1|')
+            BRANCH=$(echo "$repo" | sed -n -E 's|https://github.com/[^/]+/[^/]+/tree/(.+)|\1|p')
+
+            if [ -n "$BRANCH" ]; then
+              echo "Checking $REPO_PATH (branch: $BRANCH) for recent commits..."
+              COMMITS=$(curl -sf "https://api.github.com/repos/${REPO_PATH}/commits?sha=${BRANCH}&since=${SINCE_DATE}&per_page=1" || echo "[]")
+            else
+              echo "Checking $REPO_PATH (default branch) for recent commits..."
+              COMMITS=$(curl -sf "https://api.github.com/repos/${REPO_PATH}/commits?since=${SINCE_DATE}&per_page=1" || echo "[]")
+            fi
+
+            if [ "$(echo "$COMMITS" | jq 'length')" -gt 0 ]; then
+              echo "Found recent commits in $repo"
+              HAS_RECENT=true
+              break
+            fi
+          done
+
+          if [ "$HAS_RECENT" = "true" ]; then
+            echo "should_build=true" >> "$GITHUB_OUTPUT"
+          else
+            echo "No recent commits in any repo (within ${STALE_DAYS} days), skipping build"
+            echo "should_build=false" >> "$GITHUB_OUTPUT"
+          fi
+
   daily-build:
+    needs: check-activity
+    if: ${{ needs.check-activity.outputs.should_build == 'true' }}
     runs-on: [ 'self-hosted', 'ce', 'linux', 'x64' ]
     steps:
       - name: Start from a clean directory

.github/workflows/build-daily-clad.yml

@@ -7,7 +7,50 @@ on:
   workflow_dispatch:
 
 jobs:
+  check-activity:
+    runs-on: ubuntu-latest
+    outputs:
+      should_build: ${{ steps.check.outputs.should_build }}
+    steps:
+      - name: Check for recent commits
+        id: check
+        run: |
+          REPOS='["https://github.com/vgvassilev/clad/tree/master"]'
+          STALE_DAYS=7
+
+          SINCE_DATE=$(date -d "${STALE_DAYS} days ago" --iso-8601=seconds)
+          echo "Checking for commits since ${SINCE_DATE} (${STALE_DAYS} days ago)"
+          HAS_RECENT=false
+
+          for repo in $(echo "$REPOS" | jq -r '.[]'); do
+            REPO_PATH=$(echo "$repo" | sed -E 's|https://github.com/([^/]+/[^/]+).*|\1|')
+            BRANCH=$(echo "$repo" | sed -n -E 's|https://github.com/[^/]+/[^/]+/tree/(.+)|\1|p')
+
+            if [ -n "$BRANCH" ]; then
+              echo "Checking $REPO_PATH (branch: $BRANCH) for recent commits..."
+              COMMITS=$(curl -sf "https://api.github.com/repos/${REPO_PATH}/commits?sha=${BRANCH}&since=${SINCE_DATE}&per_page=1" || echo "[]")
+            else
+              echo "Checking $REPO_PATH (default branch) for recent commits..."
+              COMMITS=$(curl -sf "https://api.github.com/repos/${REPO_PATH}/commits?since=${SINCE_DATE}&per_page=1" || echo "[]")
+            fi
+
+            if [ "$(echo "$COMMITS" | jq 'length')" -gt 0 ]; then
+              echo "Found recent commits in $repo"
+              HAS_RECENT=true
+              break
+            fi
+          done
+
+          if [ "$HAS_RECENT" = "true" ]; then
+            echo "should_build=true" >> "$GITHUB_OUTPUT"
+          else
+            echo "No recent commits in any repo (within ${STALE_DAYS} days), skipping build"
+            echo "should_build=false" >> "$GITHUB_OUTPUT"
+          fi
+
   daily-build:
+    needs: check-activity
+    if: ${{ needs.check-activity.outputs.should_build == 'true' }}
     runs-on: [ 'self-hosted', 'ce', 'linux', 'x64' ]
     steps:
       - name: Start from a clean directory

.github/workflows/build-daily-clang_amdgpu.yml

@@ -7,7 +7,50 @@ on:
   workflow_dispatch:
 
 jobs:
+  check-activity:
+    runs-on: ubuntu-latest
+    outputs:
+      should_build: ${{ steps.check.outputs.should_build }}
+    steps:
+      - name: Check for recent commits
+        id: check
+        run: |
+          REPOS='["https://github.com/ROCm/llvm-project/tree/amd-staging"]'
+          STALE_DAYS=7
+
+          SINCE_DATE=$(date -d "${STALE_DAYS} days ago" --iso-8601=seconds)
+          echo "Checking for commits since ${SINCE_DATE} (${STALE_DAYS} days ago)"
+          HAS_RECENT=false
+
+          for repo in $(echo "$REPOS" | jq -r '.[]'); do
+            REPO_PATH=$(echo "$repo" | sed -E 's|https://github.com/([^/]+/[^/]+).*|\1|')
+            BRANCH=$(echo "$repo" | sed -n -E 's|https://github.com/[^/]+/[^/]+/tree/(.+)|\1|p')
+
+            if [ -n "$BRANCH" ]; then
+              echo "Checking $REPO_PATH (branch: $BRANCH) for recent commits..."
+              COMMITS=$(curl -sf "https://api.github.com/repos/${REPO_PATH}/commits?sha=${BRANCH}&since=${SINCE_DATE}&per_page=1" || echo "[]")
+            else
+              echo "Checking $REPO_PATH (default branch) for recent commits..."
+              COMMITS=$(curl -sf "https://api.github.com/repos/${REPO_PATH}/commits?since=${SINCE_DATE}&per_page=1" || echo "[]")
+            fi
+
+            if [ "$(echo "$COMMITS" | jq 'length')" -gt 0 ]; then
+              echo "Found recent commits in $repo"
+              HAS_RECENT=true
+              break
+            fi
+          done
+
+          if [ "$HAS_RECENT" = "true" ]; then
+            echo "should_build=true" >> "$GITHUB_OUTPUT"
+          else
+            echo "No recent commits in any repo (within ${STALE_DAYS} days), skipping build"
+            echo "should_build=false" >> "$GITHUB_OUTPUT"
+          fi
+
   daily-build:
+    needs: check-activity
+    if: ${{ needs.check-activity.outputs.should_build == 'true' }}
     runs-on: [ 'self-hosted', 'ce', 'linux', 'x64' ]
     steps:
       - name: Start from a clean directory

.github/workflows/build-daily-clang_parmexpr.yml

@@ -7,7 +7,50 @@ on:
   workflow_dispatch:
 
 jobs:
+  check-activity:
+    runs-on: ubuntu-latest
+    outputs:
+      should_build: ${{ steps.check.outputs.should_build }}
+    steps:
+      - name: Check for recent commits
+        id: check
+        run: |
+          REPOS='["https://github.com/ricejasonf/parametric_expressions/tree/master"]'
+          STALE_DAYS=7
+
+          SINCE_DATE=$(date -d "${STALE_DAYS} days ago" --iso-8601=seconds)
+          echo "Checking for commits since ${SINCE_DATE} (${STALE_DAYS} days ago)"
+          HAS_RECENT=false
+
+          for repo in $(echo "$REPOS" | jq -r '.[]'); do
+            REPO_PATH=$(echo "$repo" | sed -E 's|https://github.com/([^/]+/[^/]+).*|\1|')
+            BRANCH=$(echo "$repo" | sed -n -E 's|https://github.com/[^/]+/[^/]+/tree/(.+)|\1|p')
+
+            if [ -n "$BRANCH" ]; then
+              echo "Checking $REPO_PATH (branch: $BRANCH) for recent commits..."
+              COMMITS=$(curl -sf "https://api.github.com/repos/${REPO_PATH}/commits?sha=${BRANCH}&since=${SINCE_DATE}&per_page=1" || echo "[]")
+            else
+              echo "Checking $REPO_PATH (default branch) for recent commits..."
+              COMMITS=$(curl -sf "https://api.github.com/repos/${REPO_PATH}/commits?since=${SINCE_DATE}&per_page=1" || echo "[]")
+            fi
+
+            if [ "$(echo "$COMMITS" | jq 'length')" -gt 0 ]; then
+              echo "Found recent commits in $repo"
+              HAS_RECENT=true
+              break
+            fi
+          done
+
+          if [ "$HAS_RECENT" = "true" ]; then
+            echo "should_build=true" >> "$GITHUB_OUTPUT"
+          else
+            echo "No recent commits in any repo (within ${STALE_DAYS} days), skipping build"
+            echo "should_build=false" >> "$GITHUB_OUTPUT"
+          fi
+
   daily-build:
+    needs: check-activity
+    if: ${{ needs.check-activity.outputs.should_build == 'true' }}
     runs-on: [ 'self-hosted', 'ce', 'linux', 'x64' ]
     steps:
       - name: Start from a clean directory