diff options
| author | Martin Hořeňovský | 2023-12-09 12:05:39 +0100 |
|---|---|---|
| committer | Martin Hořeňovský | 2023-12-09 12:05:45 +0100 |
| commit | d1d7414eb9859092bee6329c85592d90096618c5 (patch) | |
| tree | e7aac31abfd54645ca41e0e1d9d1d028d657152c /tools/scripts/patchRelease.py | |
| parent | dacbf4fd6c80d726b3d87e77c91bcacdd4fc57c0 (diff) | |
| download | catch3-d1d7414eb9859092bee6329c85592d90096618c5.tar.gz | |
Always run apt-get update before apt-get install
The base images for GitHub Actions are updated weekly, but
sometimes that is not enough to be able to install the packages
we require. The recommended fix for this is to always run
`apt-get update` before `apt-get install`.
Diffstat (limited to 'tools/scripts/patchRelease.py')
0 files changed, 0 insertions, 0 deletions