From ea67bbf67df5419cc6d35c29da414ab326408f52 Mon Sep 17 00:00:00 2001
From: Matthew Gumport <m@gum.pt>
Date: Thu, 29 Feb 2024 09:56:02 -0800
Subject: [PATCH] does this work?

---
 .github/workflows/stable.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/stable.yml b/.github/workflows/stable.yml
index 4b74e75a..21069416 100644
--- a/.github/workflows/stable.yml
+++ b/.github/workflows/stable.yml
@@ -9,6 +9,7 @@ jobs:
         toolchain: [nightly, stable]
         profile: [minimal, default]
     runs-on: ubuntu-latest
+    container: ubuntu
     # Only run on "pull_request" event for external PRs. This is to avoid
     # duplicate builds for PRs created from internal branches.
     if: github.event_name == 'push' || github.event.pull_request.head.repo.full_name != github.repository