From 15d77232f0cb6e8f64e7d710763daf010b79ebd6 Mon Sep 17 00:00:00 2001
From: Victor Lin <13424970+victorlin@users.noreply.github.com>
Date: Wed, 17 Jan 2024 12:17:48 -0800
Subject: [PATCH] Add cache for Micromamba installation

This endpoint sometimes fails to resolve, so caching as a fallback
should help.
---
 .github/workflows/ci.yaml | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
index c92c449..900c3f3 100644
--- a/.github/workflows/ci.yaml
+++ b/.github/workflows/ci.yaml
@@ -38,6 +38,15 @@ jobs:
     name: build and test (os=${{ matrix.os }})
     runs-on: ${{ matrix.os }}
     steps:
+      # First, retrieve Micromamba from cache in case the installation script is not reachable.
+      - name: Cache Micromamba
+        uses: actions/cache@v4
+        with:
+          path: ~/.local/bin/micromamba
+          # Cache should remain for 7 days from last usage.
+          # <https://docs.github.com/en/actions/using-workflows/caching-dependencies-to-speed-up-workflows#usage-limits-and-eviction-policy>
+          key: ${{ runner.os }}-micromamba
+
       - name: Install Micromamba
         run: |
           curl -fsSL --proto 'https=' https://micro.mamba.pm/install.sh | bash