File tree 3 files changed +10
-9
lines changed
3 files changed +10
-9
lines changed Original file line number Diff line number Diff line change 8
8
- ' resources/**'
9
9
- ' tools/**'
10
10
pull_request :
11
- paths :
12
- - ' docs/**'
13
- - ' resources/**'
14
- - ' tools/**'
11
+ branches :
12
+ - ubuntu-24.04
15
13
jobs :
16
14
build-and-publish :
17
15
runs-on : ubuntu-24.04
34
32
- name : Run website_build.sh
35
33
run : ./tools/ci/website_build.sh
36
34
env :
37
- DEPLOY_TOKEN : ${{ secrets.DEPLOY_TOKEN }}
35
+ DEPLOY_TOKEN : dummy
Original file line number Diff line number Diff line change 4
4
# Trigger 10 minutes past every 3rd hour. 10 minutes is a safety margin
5
5
# for any manifest workflow to finish, see tools/wpt/revlist.py.
6
6
- cron : 10 */3 * * *
7
+ pull_request :
8
+ branches :
9
+ - ubuntu-24.04
7
10
jobs :
8
11
update :
9
12
runs-on : ubuntu-24.04
16
19
- name : Run epochs_update.sh
17
20
run : ./tools/ci/epochs_update.sh
18
21
env :
19
- GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
22
+ GITHUB_TOKEN : dummy
20
23
- name : Upload git-push output
21
24
uses : actions/upload-artifact@v4
22
25
with :
Original file line number Diff line number Diff line change 4
4
branches :
5
5
- master
6
6
pull_request :
7
- paths :
8
- - ' tools/** '
7
+ branches :
8
+ - ubuntu-24.04
9
9
jobs :
10
10
build-and-tag :
11
11
runs-on : ubuntu-24.04
26
26
- name : Run manifest_build.py
27
27
run : tools/docker/retry.py --delay 60 python tools/ci/manifest_build.py
28
28
env :
29
- GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
29
+ GITHUB_TOKEN : dummy
You can’t perform that action at this time.
0 commit comments