From 0478ab14989d64ad651e015cacf2854533e33681 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 2 Aug 2023 17:16:32 -0700
Subject: [PATCH] update nightly script
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
scripts/nightly.yaml | 1 +
1 file changed, 1 insertion(+)
diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index 7345542bc..fe5bddd7c 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -68,6 +68,7 @@ stages:
pool:
vmImage: "ubuntu-latest"
steps:
+ - script: sudo apt update
- script: sudo apt install gcc-arm-none-eabi -y
- script: sudo apt install gcc-arm-linux-gnueabihf -y
- script: sudo apt install gcc-aarch64-linux-gnu -y