What if we update all the things?

Signed-off-by: Gilles Peskine <[email protected]>
2026-11-08 16:50:37 +00:00 · 2020-07-24 19:48:30 +02:00
parent 221dd63864
commit 798b2920b4
1 changed files with 1 additions and 1 deletions
@@ -22,9 +22,9 @@ env:

 addons:
  apt:
+    update: true
    packages:
    - gnutls-bin
-    - libgnutls30
  coverity_scan:
    project:
      name: "ARMmbed/mbedtls"