From f9455fc5a135448af4f9dde341ec379aca721b8c Mon Sep 17 00:00:00 2001
From: Jonathan Taylor <jonathan.taylor@stanford.edu>
Date: Mon, 21 Aug 2023 13:08:07 -0700
Subject: [PATCH] using ref to checkout

---
 .github/workflows/docker.yml | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
index d03a410..2a7b6b0 100644
--- a/.github/workflows/docker.yml
+++ b/.github/workflows/docker.yml
@@ -2,7 +2,12 @@ name: Publish Docker image
 
 on:
   workflow_dispatch:
-    inputs: null
+    inputs:
+      LABS:
+        description: 'Labs version'
+        required: true
+        default: 'v2.1'
+        type: string
 
 jobs:
 
@@ -12,7 +17,9 @@ jobs:
     steps:
       - name: Check out the repo
         uses: actions/checkout@v3
-
+        with:
+          ref: ${{ inputs.LABS }}
+	  
       - name: Log in to Docker Hub
         uses: docker/login-action@v2
         with: