File tree 1 file changed +13
-2
lines changed
1 file changed +13
-2
lines changed Original file line number Diff line number Diff line change @@ -3,13 +3,21 @@ name: GitHub CI
3
3
on :
4
4
pull_request :
5
5
push :
6
+ workflow_dispatch :
6
7
schedule :
7
8
- cron : 0 0 * * 0
8
9
9
10
defaults :
10
11
run :
11
12
shell : ' bash -Eeuo pipefail -x {0}'
12
13
14
+ concurrency :
15
+ group : ${{ github.ref }}
16
+ cancel-in-progress : true
17
+
18
+ permissions :
19
+ contents : read
20
+
13
21
jobs :
14
22
15
23
generate-jobs :
26
34
strategy="$("$BASHBREW_SCRIPTS/github-actions/generate.sh")"
27
35
strategy="$(.github/workflows/munge.sh -c <<<"$strategy")"
28
36
strategy="$("$BASHBREW_SCRIPTS/github-actions/munge-i386.sh" -c <<<"$strategy")"
29
- echo "strategy=$strategy" >> "$GITHUB_OUTPUT"
30
- jq . <<<"$strategy" # sanity check / debugging aid
37
+
38
+ EOF="EOF-$RANDOM-$RANDOM-$RANDOM"
39
+ echo "strategy<<$EOF" >> "$GITHUB_OUTPUT"
40
+ jq <<<"$strategy" . | tee -a "$GITHUB_OUTPUT"
41
+ echo "$EOF" >> "$GITHUB_OUTPUT"
31
42
32
43
test :
33
44
needs : generate-jobs
You can’t perform that action at this time.
0 commit comments