Skip to content

Commit 307b636

Browse files
partoufpartouf
committed
add more repo urls
1 parent 0896316 commit 307b636

File tree

8 files changed

+308
-7
lines changed

8 files changed

+308
-7
lines changed

‎.github/workflows/build-daily-clspv.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/google/clspv/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-cppfront.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/hsutter/cppfront/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-dxc.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/microsoft/DirectXShaderCompiler/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-hylo.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/hylo-lang/hylo/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-jakt.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/SerenityOS/jakt/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-llvm_spirv.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-vast.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/trailofbits/vast/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

‎compilers.yaml‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -63,10 +63,10 @@ compilers:
6363
- { image: misc, name: SPIRV-Tools, command: build-spirv-tools.sh, args: main }
6464
- { image: lc3, name: lc3, command: build.sh }
6565
- { image: c2rust, name: c2rust, command: build.sh, args: master }
66-
- { image: misc, name: clspv, command: build-clspv.sh, args: main }
67-
- { image: jakt, name: jakt, command: build.sh, args: trunk }
68-
- { image: misc, name: cppfront, command: build-cppfront.sh, args: trunk }
69-
- { image: misc, name: dxc, command: build-dxc.sh, args: trunk }
66+
- { image: misc, name: clspv, command: build-clspv.sh, args: main, repos: ["https://github.com/google/clspv/tree/main"] }
67+
- { image: jakt, name: jakt, command: build.sh, args: trunk, repos: ["https://github.com/SerenityOS/jakt/tree/main"] }
68+
- { image: misc, name: cppfront, command: build-cppfront.sh, args: trunk, repos: ["https://github.com/hsutter/cppfront/tree/main"] }
69+
- { image: misc, name: dxc, command: build-dxc.sh, args: trunk, repos: ["https://github.com/microsoft/DirectXShaderCompiler/tree/main"] }
7070
- { image: misc, name: pahole, command: build-pahole.sh, args: trunk }
7171
- { image: misc, name: movfuscator, command: build-movfuscator.sh }
7272
- { image: misc, name: wyrm, command: build-wyrm-transpiler.sh }
@@ -79,7 +79,7 @@ compilers:
7979
- { image: gcc-cross, name: powerpc64le, args: "powerpc64le trunk" }
8080
# see https://github.com/compiler-explorer/clang-builder/issues/28
8181
#- { image: clang, name: clang_embed, args: embed-trunk }
82-
- { image: clang, name: llvm_spirv, args: llvm-spirv }
82+
- { image: clang, name: llvm_spirv, args: llvm-spirv, repos: ["https://github.com/KhronosGroup/SPIRV-Tools/tree/main"] }
8383

8484
# see https://github.com/compiler-explorer/compiler-explorer/issues/6836
8585
# - { image: clang, name: dang, args: dang-main }
@@ -92,8 +92,8 @@ compilers:
9292

9393
# See https://github.com/compiler-explorer/d8-builder/issues/2
9494
# - { image: d8, name: d8 }
95-
- { image: hylo, name: hylo }
96-
- { image: vast, name: vast }
95+
- { image: hylo, name: hylo, repos: ["https://github.com/hylo-lang/hylo/tree/main"] }
96+
- { image: vast, name: vast, repos: ["https://github.com/trailofbits/vast/tree/master"] }
9797
- { image: mads, name: madpascal, args: trunk, repos: ["https://github.com/tebe6502/Mad-Assembler/tree/master", "https://github.com/tebe6502/Mad-Pascal/tree/master"] }
9898
- { image: clang, name: circt_trunk, command: build-circt.sh, args: trunk}
9999
- { image: clad, name: clad, args: trunk}

0 commit comments

Comments
 (0)