diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-12-25 09:44:26 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-12-25 10:08:21 +0100 |
| commit | 51cfe8e5099c61aa64746eb323891f0ee28b67c9 (patch) | |
| tree | caf2dc6d1d3dbe4ad805f1f79f62c97b59800dbb /vendor/github.com | |
| parent | b982b3ea71acbb298ee60e06c9bdaca9f680125b (diff) | |
.github/workflows: remove fuzzit.dev
All fuzzit.dev jobs become broken recently, see e.g.:
https://github.com/google/syzkaller/pull/2351/checks?check_run_id=1601794199
...
{"status":"Status: Downloaded newer image for gcr.io/fuzzit-public/stretch-llvm8:64bdedf"}
Downloading fuzzit cli/agent...
Error: Process completed with exit code 1.
https://github.com/fuzzitdev/fuzzit is archived now and the README says:
"the standalone service will soon be deperecated".
So I guess it's time to remove fuzzit.dev integration.
Diffstat (limited to 'vendor/github.com')
0 files changed, 0 insertions, 0 deletions