Skip to content

Commit e280868

Browse files
authored
Merge pull request #18161 from MinaProtocol/dkijania/push_apps_to_cache
[CI] push apps to cache as well
2 parents a2256d1 + 975b2d4 commit e280868

File tree

2 files changed

+15
-0
lines changed

2 files changed

+15
-0
lines changed
Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
#!/bin/bash
2+
3+
CODENAME=$1
4+
5+
find _build -type f -name "*.exe" | while read -r entry; do
6+
# Exclude files ending with ppx.exe
7+
if [[ "$entry" == *ppx.exe ]]; then
8+
continue
9+
fi
10+
11+
./buildkite/scripts/cache/manager.sh write "$entry" "apps/${CODENAME}/"
12+
done

buildkite/src/Command/MinaArtifact.dhall

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -142,6 +142,9 @@ let build_artifacts
142142
# [ Cmd.run
143143
"./buildkite/scripts/debian/write_to_cache.sh ${DebianVersions.lowerName
144144
spec.debVersion}"
145+
, Cmd.run
146+
"./buildkite/scripts/apps/write_to_cache.sh ${DebianVersions.lowerName
147+
spec.debVersion}"
145148
]
146149
, label = "Debian: Build ${labelSuffix spec}"
147150
, key = "build-deb-pkg${Optional/default Text "" spec.suffix}"

0 commit comments

Comments
 (0)