diff options
author | Petr Štetiar <ynezz@true.cz> | 2023-05-26 11:41:18 +0200 |
---|---|---|
committer | Christian Marangi <ansuelsmth@gmail.com> | 2023-10-24 17:12:06 +0200 |
commit | 6cdd9a6de493cc9b8152a73d8449673b1190d1ff (patch) | |
tree | 5a400674218bf7966f7e3bd4fb104ec24aac6f76 /.github/workflows/coverity.yml | |
parent | 37395ecb3214f6c086668b9f1a3c3405e06acfe8 (diff) | |
download | upstream-6cdd9a6de493cc9b8152a73d8449673b1190d1ff.tar.gz upstream-6cdd9a6de493cc9b8152a73d8449673b1190d1ff.tar.bz2 upstream-6cdd9a6de493cc9b8152a73d8449673b1190d1ff.zip |
ci: build: verify downloaded toolchain tarball
CDNs are known to ship outdated or corrupted files, if it unpacks
correctly, it necessarily doesn't mean, that we're using the desired
content. So lets fix it by checking the tarball as well.
I'm adding GPG checking explicitly, its not needed, but just double
checking, that everything is working as expected on build
infrastructure.
Signed-off-by: Petr Štetiar <ynezz@true.cz>
(cherry picked from commit 95dde523297c652072ee96ac32d22912a43ef761)
Diffstat (limited to '.github/workflows/coverity.yml')
0 files changed, 0 insertions, 0 deletions