File tree 4 files changed +21
-21
lines changed
4 files changed +21
-21
lines changed Original file line number Diff line number Diff line change @@ -6,11 +6,11 @@ name: Evict caches
6
6
- cron : 0 2 * * *
7
7
jobs :
8
8
test :
9
- if : ${{github.repository == 'cue-lang/proposal'}}
10
- runs-on : ubuntu-22.04
11
9
defaults :
12
10
run :
13
11
shell : bash
12
+ if : ${{github.repository == 'cue-lang/proposal'}}
13
+ runs-on : ubuntu-22.04
14
14
steps :
15
15
- name : Checkout code
16
16
uses : actions/checkout@v4
21
21
run : touch -t 202211302355 $(find * -type d)
22
22
- name : Restore git file modification times
23
23
uses : chetan/git-restore-mtime-action@075f9bc9d159805603419d50f794bd9f33252ebe
24
- - id : DispatchTrailer
25
- name : Try to extract Dispatch-Trailer
24
+ - name : Try to extract Dispatch-Trailer
25
+ id : DispatchTrailer
26
26
run : |-
27
27
x="$(git log -1 --pretty='%(trailers:key=Dispatch-Trailer,valueonly)')"
28
28
if [[ "$x" == "" ]]
@@ -38,11 +38,11 @@ jobs:
38
38
echo "value<<EOD" >> $GITHUB_OUTPUT
39
39
echo "$x" >> $GITHUB_OUTPUT
40
40
echo "EOD" >> $GITHUB_OUTPUT
41
- - if : |-
41
+ - name : Check we don't have Dispatch-Trailer on a protected branch
42
+ if : |-
42
43
((github.ref == 'refs/heads/main') && (! (contains(github.event.head_commit.message, '
43
44
Dispatch-Trailer: {"type":"')))) && (contains(github.event.head_commit.message, '
44
45
Dispatch-Trailer: {"type":"'))
45
- name: Check we don't have Dispatch-Trailer on a protected branch
46
46
run : |-
47
47
echo "github.event.head_commit.message contains Dispatch-Trailer but we are on a protected branch"
48
48
false
Original file line number Diff line number Diff line change 1
1
# Code generated internal/ci/ci_tool.cue; DO NOT EDIT.
2
2
3
- name : Push tip to trybot
4
- " on " :
5
- push :
6
- branches :
7
- - main
8
3
concurrency : push_tip_to_trybot
9
4
jobs :
10
5
push :
6
+ defaults :
7
+ run :
8
+ shell : bash
11
9
runs-on : ubuntu-22.04
10
+ if : ${{github.repository == 'cue-lang/proposal'}}
12
11
steps :
13
12
- name : Write netrc file for cueckoo Gerrithub
14
13
run : |-
44
43
echo "Giving up"
45
44
exit 1
46
45
fi
47
- defaults :
48
- run :
49
- shell : bash
50
- if : ${{github.repository == 'cue-lang/proposal'}}
46
+ " on " :
47
+ push :
48
+ branches :
49
+ - main
50
+ name : Push tip to trybot
Original file line number Diff line number Diff line change @@ -6,18 +6,18 @@ name: TryBot
6
6
branches :
7
7
- ci/test
8
8
- main
9
- workflow_dispatch : {}
10
9
pull_request : {}
10
+ workflow_dispatch : {}
11
11
jobs :
12
12
test :
13
+ defaults :
14
+ run :
15
+ shell : bash
13
16
runs-on : ubuntu-22.04
14
17
if : |-
15
18
(contains(github.event.head_commit.message, '
16
19
Dispatch-Trailer: {"type":"trybot"')) || ! (contains(github.event.head_commit.message, '
17
20
Dispatch-Trailer: {"type":"'))
18
- defaults :
19
- run :
20
- shell : bash
21
21
steps :
22
22
- name : Checkout code
23
23
uses : actions/checkout@v4
Original file line number Diff line number Diff line change @@ -8,11 +8,11 @@ name: Dispatch trybot
8
8
- ci/test
9
9
jobs :
10
10
trybot :
11
- runs-on : ubuntu-22.04
12
- if : ${{ ((github.ref == 'refs/heads/ci/test') && false) || github.event.client_payload.type == 'trybot' }}
13
11
defaults :
14
12
run :
15
13
shell : bash
14
+ runs-on : ubuntu-22.04
15
+ if : ${{ ((github.ref == 'refs/heads/ci/test') && false) || github.event.client_payload.type == 'trybot' }}
16
16
steps :
17
17
- name : Write netrc file for cueckoo Gerrithub
18
18
run : |-
You can’t perform that action at this time.
0 commit comments