aboutsummaryrefslogtreecommitdiffstats
path: root/.github
diff options
context:
space:
mode:
authorTaras Madan <tarasmadan@google.com>2023-07-25 12:15:40 +0200
committerTaras Madan <tarasmadan@google.com>2023-07-25 15:13:13 +0000
commita92e604f21f1946a639b0eb05bdfe305b0103b35 (patch)
treeb37e4d09b3d4401a010141c7e18bfa3555ec5207 /.github
parent6756545c28028f343346a8f93b5ca6d0664a598c (diff)
ci.yml: pull syz-env separately
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/ci.yml6
1 files changed, 6 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index c6b647296..86f3f88ff 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -47,6 +47,8 @@ jobs:
with:
path: .cache
key: cache
+ - name: pull syz-env
+ run: docker pull gcr.io/syzkaller/env:latest
- name: run
run: gopath/src/github.com/google/syzkaller/.github/workflows/run.sh syz-env make presubmit_build
# Upload coverage report to codecov.io. For reference see:
@@ -68,6 +70,8 @@ jobs:
with:
path: .cache
key: cache
+ - name: pull syz-env
+ run: docker pull gcr.io/syzkaller/env:latest
- name: run
run: gopath/src/github.com/google/syzkaller/.github/workflows/run.sh syz-env timeout --signal=SIGINT 15m make presubmit_dashboard
- name: codecov
@@ -104,6 +108,8 @@ jobs:
with:
path: .cache
key: cache
+ - name: pull syz-env
+ run: docker pull gcr.io/syzkaller/env:latest
- name: run
run: gopath/src/github.com/google/syzkaller/.github/workflows/run.sh syz-env make presubmit_race
old: