Skip to content

Commit 28d2dba

Browse files
partoufclaude
partouf
and
claude
committed
Add repos URLs for activity checking on compiler builds
Add GitHub repository URLs to compiler entries that were missing them, enabling the check-activity job to skip builds when no recent commits are found. This covers GCC forks, clang variants, and misc builders. Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
1 parent 2bb9460 commit 28d2dba

28 files changed

+1188
-27
lines changed

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

Lines changed: 43 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,50 @@ on:
77
workflow_dispatch:
88

99
jobs:
10+
check-activity:
11+
runs-on: ubuntu-latest
12+
outputs:
13+
should_build: ${{ steps.check.outputs.should_build }}
14+
steps:
15+
- name: Check for recent commits
16+
id: check
17+
run: |
18+
REPOS='["https://github.com/KhronosGroup/SPIRV-Tools/tree/main"]'
19+
STALE_DAYS=7
20+
21+
SINCE_DATE=$(date -d "${STALE_DAYS} days ago" --iso-8601=seconds)
22+
echo "Checking for commits since ${SINCE_DATE} (${STALE_DAYS} days ago)"
23+
HAS_RECENT=false
24+
25+
for repo in $(echo "$REPOS" | jq -r '.[]'); do
26+
REPO_PATH=$(echo "$repo" | sed -E 's|https://github.com/([^/]+/[^/]+).*|\1|')
27+
BRANCH=$(echo "$repo" | sed -n -E 's|https://github.com/[^/]+/[^/]+/tree/(.+)|\1|p')
28+
29+
if [ -n "$BRANCH" ]; then
30+
echo "Checking $REPO_PATH (branch: $BRANCH) for recent commits..."
31+
COMMITS=$(curl -sf "https://api.github.com/repos/${REPO_PATH}/commits?sha=${BRANCH}&since=${SINCE_DATE}&per_page=1" || echo "[]")
32+
else
33+
echo "Checking $REPO_PATH (default branch) for recent commits..."
34+
COMMITS=$(curl -sf "https://api.github.com/repos/${REPO_PATH}/commits?since=${SINCE_DATE}&per_page=1" || echo "[]")
35+
fi
36+
37+
if [ "$(echo "$COMMITS" | jq 'length')" -gt 0 ]; then
38+
echo "Found recent commits in $repo"
39+
HAS_RECENT=true
40+
break
41+
fi
42+
done
43+
44+
if [ "$HAS_RECENT" = "true" ]; then
45+
echo "should_build=true" >> "$GITHUB_OUTPUT"
46+
else
47+
echo "No recent commits in any repo (within ${STALE_DAYS} days), skipping build"
48+
echo "should_build=false" >> "$GITHUB_OUTPUT"
49+
fi
50+
1051
daily-build:
52+
needs: check-activity
53+
if: ${{ needs.check-activity.outputs.should_build == 'true' }}
1154
runs-on: [ 'self-hosted', 'ce', 'linux', 'x64' ]
1255
steps:
1356
- name: Start from a clean directory

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

Lines changed: 43 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,50 @@ on:
77
workflow_dispatch:
88

99
jobs:
10+
check-activity:
11+
runs-on: ubuntu-latest
12+
outputs:
13+
should_build: ${{ steps.check.outputs.should_build }}
14+
steps:
15+
- name: Check for recent commits
16+
id: check
17+
run: |
18+
REPOS='["https://github.com/immunant/c2rust/tree/master"]'
19+
STALE_DAYS=7
20+
21+
SINCE_DATE=$(date -d "${STALE_DAYS} days ago" --iso-8601=seconds)
22+
echo "Checking for commits since ${SINCE_DATE} (${STALE_DAYS} days ago)"
23+
HAS_RECENT=false
24+
25+
for repo in $(echo "$REPOS" | jq -r '.[]'); do
26+
REPO_PATH=$(echo "$repo" | sed -E 's|https://github.com/([^/]+/[^/]+).*|\1|')
27+
BRANCH=$(echo "$repo" | sed -n -E 's|https://github.com/[^/]+/[^/]+/tree/(.+)|\1|p')
28+
29+
if [ -n "$BRANCH" ]; then
30+
echo "Checking $REPO_PATH (branch: $BRANCH) for recent commits..."
31+
COMMITS=$(curl -sf "https://api.github.com/repos/${REPO_PATH}/commits?sha=${BRANCH}&since=${SINCE_DATE}&per_page=1" || echo "[]")
32+
else
33+
echo "Checking $REPO_PATH (default branch) for recent commits..."
34+
COMMITS=$(curl -sf "https://api.github.com/repos/${REPO_PATH}/commits?since=${SINCE_DATE}&per_page=1" || echo "[]")
35+
fi
36+
37+
if [ "$(echo "$COMMITS" | jq 'length')" -gt 0 ]; then
38+
echo "Found recent commits in $repo"
39+
HAS_RECENT=true
40+
break
41+
fi
42+
done
43+
44+
if [ "$HAS_RECENT" = "true" ]; then
45+
echo "should_build=true" >> "$GITHUB_OUTPUT"
46+
else
47+
echo "No recent commits in any repo (within ${STALE_DAYS} days), skipping build"
48+
echo "should_build=false" >> "$GITHUB_OUTPUT"
49+
fi
50+
1051
daily-build:
52+
needs: check-activity
53+
if: ${{ needs.check-activity.outputs.should_build == 'true' }}
1154
runs-on: [ 'self-hosted', 'ce', 'linux', 'x64' ]
1255
steps:
1356
- name: Start from a clean directory

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

Lines changed: 43 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,50 @@ on:
77
workflow_dispatch:
88

99
jobs:
10+
check-activity:
11+
runs-on: ubuntu-latest
12+
outputs:
13+
should_build: ${{ steps.check.outputs.should_build }}
14+
steps:
15+
- name: Check for recent commits
16+
id: check
17+
run: |
18+
REPOS='["https://github.com/llvm/circt/tree/main"]'
19+
STALE_DAYS=7
20+
21+
SINCE_DATE=$(date -d "${STALE_DAYS} days ago" --iso-8601=seconds)
22+
echo "Checking for commits since ${SINCE_DATE} (${STALE_DAYS} days ago)"
23+
HAS_RECENT=false
24+
25+
for repo in $(echo "$REPOS" | jq -r '.[]'); do
26+
REPO_PATH=$(echo "$repo" | sed -E 's|https://github.com/([^/]+/[^/]+).*|\1|')
27+
BRANCH=$(echo "$repo" | sed -n -E 's|https://github.com/[^/]+/[^/]+/tree/(.+)|\1|p')
28+
29+
if [ -n "$BRANCH" ]; then
30+
echo "Checking $REPO_PATH (branch: $BRANCH) for recent commits..."
31+
COMMITS=$(curl -sf "https://api.github.com/repos/${REPO_PATH}/commits?sha=${BRANCH}&since=${SINCE_DATE}&per_page=1" || echo "[]")
32+
else
33+
echo "Checking $REPO_PATH (default branch) for recent commits..."
34+
COMMITS=$(curl -sf "https://api.github.com/repos/${REPO_PATH}/commits?since=${SINCE_DATE}&per_page=1" || echo "[]")
35+
fi
36+
37+
if [ "$(echo "$COMMITS" | jq 'length')" -gt 0 ]; then
38+
echo "Found recent commits in $repo"
39+
HAS_RECENT=true
40+
break
41+
fi
42+
done
43+
44+
if [ "$HAS_RECENT" = "true" ]; then
45+
echo "should_build=true" >> "$GITHUB_OUTPUT"
46+
else
47+
echo "No recent commits in any repo (within ${STALE_DAYS} days), skipping build"
48+
echo "should_build=false" >> "$GITHUB_OUTPUT"
49+
fi
50+
1051
daily-build:
52+
needs: check-activity
53+
if: ${{ needs.check-activity.outputs.should_build == 'true' }}
1154
runs-on: [ 'self-hosted', 'ce', 'linux', 'x64' ]
1255
steps:
1356
- name: Start from a clean directory

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

Lines changed: 43 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,50 @@ on:
77
workflow_dispatch:
88

99
jobs:
10+
check-activity:
11+
runs-on: ubuntu-latest
12+
outputs:
13+
should_build: ${{ steps.check.outputs.should_build }}
14+
steps:
15+
- name: Check for recent commits
16+
id: check
17+
run: |
18+
REPOS='["https://github.com/vgvassilev/clad/tree/master"]'
19+
STALE_DAYS=7
20+
21+
SINCE_DATE=$(date -d "${STALE_DAYS} days ago" --iso-8601=seconds)
22+
echo "Checking for commits since ${SINCE_DATE} (${STALE_DAYS} days ago)"
23+
HAS_RECENT=false
24+
25+
for repo in $(echo "$REPOS" | jq -r '.[]'); do
26+
REPO_PATH=$(echo "$repo" | sed -E 's|https://github.com/([^/]+/[^/]+).*|\1|')
27+
BRANCH=$(echo "$repo" | sed -n -E 's|https://github.com/[^/]+/[^/]+/tree/(.+)|\1|p')
28+
29+
if [ -n "$BRANCH" ]; then
30+
echo "Checking $REPO_PATH (branch: $BRANCH) for recent commits..."
31+
COMMITS=$(curl -sf "https://api.github.com/repos/${REPO_PATH}/commits?sha=${BRANCH}&since=${SINCE_DATE}&per_page=1" || echo "[]")
32+
else
33+
echo "Checking $REPO_PATH (default branch) for recent commits..."
34+
COMMITS=$(curl -sf "https://api.github.com/repos/${REPO_PATH}/commits?since=${SINCE_DATE}&per_page=1" || echo "[]")
35+
fi
36+
37+
if [ "$(echo "$COMMITS" | jq 'length')" -gt 0 ]; then
38+
echo "Found recent commits in $repo"
39+
HAS_RECENT=true
40+
break
41+
fi
42+
done
43+
44+
if [ "$HAS_RECENT" = "true" ]; then
45+
echo "should_build=true" >> "$GITHUB_OUTPUT"
46+
else
47+
echo "No recent commits in any repo (within ${STALE_DAYS} days), skipping build"
48+
echo "should_build=false" >> "$GITHUB_OUTPUT"
49+
fi
50+
1051
daily-build:
52+
needs: check-activity
53+
if: ${{ needs.check-activity.outputs.should_build == 'true' }}
1154
runs-on: [ 'self-hosted', 'ce', 'linux', 'x64' ]
1255
steps:
1356
- name: Start from a clean directory

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

Lines changed: 43 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,50 @@ on:
77
workflow_dispatch:
88

99
jobs:
10+
check-activity:
11+
runs-on: ubuntu-latest
12+
outputs:
13+
should_build: ${{ steps.check.outputs.should_build }}
14+
steps:
15+
- name: Check for recent commits
16+
id: check
17+
run: |
18+
REPOS='["https://github.com/vgvassilev/clad/tree/master"]'
19+
STALE_DAYS=7
20+
21+
SINCE_DATE=$(date -d "${STALE_DAYS} days ago" --iso-8601=seconds)
22+
echo "Checking for commits since ${SINCE_DATE} (${STALE_DAYS} days ago)"
23+
HAS_RECENT=false
24+
25+
for repo in $(echo "$REPOS" | jq -r '.[]'); do
26+
REPO_PATH=$(echo "$repo" | sed -E 's|https://github.com/([^/]+/[^/]+).*|\1|')
27+
BRANCH=$(echo "$repo" | sed -n -E 's|https://github.com/[^/]+/[^/]+/tree/(.+)|\1|p')
28+
29+
if [ -n "$BRANCH" ]; then
30+
echo "Checking $REPO_PATH (branch: $BRANCH) for recent commits..."
31+
COMMITS=$(curl -sf "https://api.github.com/repos/${REPO_PATH}/commits?sha=${BRANCH}&since=${SINCE_DATE}&per_page=1" || echo "[]")
32+
else
33+
echo "Checking $REPO_PATH (default branch) for recent commits..."
34+
COMMITS=$(curl -sf "https://api.github.com/repos/${REPO_PATH}/commits?since=${SINCE_DATE}&per_page=1" || echo "[]")
35+
fi
36+
37+
if [ "$(echo "$COMMITS" | jq 'length')" -gt 0 ]; then
38+
echo "Found recent commits in $repo"
39+
HAS_RECENT=true
40+
break
41+
fi
42+
done
43+
44+
if [ "$HAS_RECENT" = "true" ]; then
45+
echo "should_build=true" >> "$GITHUB_OUTPUT"
46+
else
47+
echo "No recent commits in any repo (within ${STALE_DAYS} days), skipping build"
48+
echo "should_build=false" >> "$GITHUB_OUTPUT"
49+
fi
50+
1051
daily-build:
52+
needs: check-activity
53+
if: ${{ needs.check-activity.outputs.should_build == 'true' }}
1154
runs-on: [ 'self-hosted', 'ce', 'linux', 'x64' ]
1255
steps:
1356
- name: Start from a clean directory

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

Lines changed: 43 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,50 @@ on:
77
workflow_dispatch:
88

99
jobs:
10+
check-activity:
11+
runs-on: ubuntu-latest
12+
outputs:
13+
should_build: ${{ steps.check.outputs.should_build }}
14+
steps:
15+
- name: Check for recent commits
16+
id: check
17+
run: |
18+
REPOS='["https://github.com/ROCm/llvm-project/tree/amd-staging"]'
19+
STALE_DAYS=7
20+
21+
SINCE_DATE=$(date -d "${STALE_DAYS} days ago" --iso-8601=seconds)
22+
echo "Checking for commits since ${SINCE_DATE} (${STALE_DAYS} days ago)"
23+
HAS_RECENT=false
24+
25+
for repo in $(echo "$REPOS" | jq -r '.[]'); do
26+
REPO_PATH=$(echo "$repo" | sed -E 's|https://github.com/([^/]+/[^/]+).*|\1|')
27+
BRANCH=$(echo "$repo" | sed -n -E 's|https://github.com/[^/]+/[^/]+/tree/(.+)|\1|p')
28+
29+
if [ -n "$BRANCH" ]; then
30+
echo "Checking $REPO_PATH (branch: $BRANCH) for recent commits..."
31+
COMMITS=$(curl -sf "https://api.github.com/repos/${REPO_PATH}/commits?sha=${BRANCH}&since=${SINCE_DATE}&per_page=1" || echo "[]")
32+
else
33+
echo "Checking $REPO_PATH (default branch) for recent commits..."
34+
COMMITS=$(curl -sf "https://api.github.com/repos/${REPO_PATH}/commits?since=${SINCE_DATE}&per_page=1" || echo "[]")
35+
fi
36+
37+
if [ "$(echo "$COMMITS" | jq 'length')" -gt 0 ]; then
38+
echo "Found recent commits in $repo"
39+
HAS_RECENT=true
40+
break
41+
fi
42+
done
43+
44+
if [ "$HAS_RECENT" = "true" ]; then
45+
echo "should_build=true" >> "$GITHUB_OUTPUT"
46+
else
47+
echo "No recent commits in any repo (within ${STALE_DAYS} days), skipping build"
48+
echo "should_build=false" >> "$GITHUB_OUTPUT"
49+
fi
50+
1051
daily-build:
52+
needs: check-activity
53+
if: ${{ needs.check-activity.outputs.should_build == 'true' }}
1154
runs-on: [ 'self-hosted', 'ce', 'linux', 'x64' ]
1255
steps:
1356
- name: Start from a clean directory

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

Lines changed: 43 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,50 @@ on:
77
workflow_dispatch:
88

99
jobs:
10+
check-activity:
11+
runs-on: ubuntu-latest
12+
outputs:
13+
should_build: ${{ steps.check.outputs.should_build }}
14+
steps:
15+
- name: Check for recent commits
16+
id: check
17+
run: |
18+
REPOS='["https://github.com/ricejasonf/parametric_expressions/tree/master"]'
19+
STALE_DAYS=7
20+
21+
SINCE_DATE=$(date -d "${STALE_DAYS} days ago" --iso-8601=seconds)
22+
echo "Checking for commits since ${SINCE_DATE} (${STALE_DAYS} days ago)"
23+
HAS_RECENT=false
24+
25+
for repo in $(echo "$REPOS" | jq -r '.[]'); do
26+
REPO_PATH=$(echo "$repo" | sed -E 's|https://github.com/([^/]+/[^/]+).*|\1|')
27+
BRANCH=$(echo "$repo" | sed -n -E 's|https://github.com/[^/]+/[^/]+/tree/(.+)|\1|p')
28+
29+
if [ -n "$BRANCH" ]; then
30+
echo "Checking $REPO_PATH (branch: $BRANCH) for recent commits..."
31+
COMMITS=$(curl -sf "https://api.github.com/repos/${REPO_PATH}/commits?sha=${BRANCH}&since=${SINCE_DATE}&per_page=1" || echo "[]")
32+
else
33+
echo "Checking $REPO_PATH (default branch) for recent commits..."
34+
COMMITS=$(curl -sf "https://api.github.com/repos/${REPO_PATH}/commits?since=${SINCE_DATE}&per_page=1" || echo "[]")
35+
fi
36+
37+
if [ "$(echo "$COMMITS" | jq 'length')" -gt 0 ]; then
38+
echo "Found recent commits in $repo"
39+
HAS_RECENT=true
40+
break
41+
fi
42+
done
43+
44+
if [ "$HAS_RECENT" = "true" ]; then
45+
echo "should_build=true" >> "$GITHUB_OUTPUT"
46+
else
47+
echo "No recent commits in any repo (within ${STALE_DAYS} days), skipping build"
48+
echo "should_build=false" >> "$GITHUB_OUTPUT"
49+
fi
50+
1051
daily-build:
52+
needs: check-activity
53+
if: ${{ needs.check-activity.outputs.should_build == 'true' }}
1154
runs-on: [ 'self-hosted', 'ce', 'linux', 'x64' ]
1255
steps:
1356
- name: Start from a clean directory

0 commit comments

Comments
 (0)