From 96cc7f18ff1a7d926de240d0e1a637029d6a308b Mon Sep 17 00:00:00 2001
From: Clay McLeod <clay.l.mcleod@gmail.com>
Date: Thu, 2 May 2024 09:11:09 -0500
Subject: [PATCH] ci: removes `gauntlet` caching

---
 .github/workflows/CI.yml               |  8 +++---
 .github/workflows/gauntlet-refresh.yml | 35 --------------------------
 2 files changed, 3 insertions(+), 40 deletions(-)
 delete mode 100644 .github/workflows/gauntlet-refresh.yml

diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
index 86b211eb0..d5e0f8a6d 100644
--- a/.github/workflows/CI.yml
+++ b/.github/workflows/CI.yml
@@ -56,11 +56,9 @@ jobs:
     env:
       CACHE_DIR: ~/.config/wdl-grammar
     steps:
-      - uses: actions/cache@v3
-        with:
-          path: ${{ env.CACHE_DIR }}
-          key: wdl-grammar
       - uses: actions/checkout@v3
       - name: Update Rust
         run: rustup update nightly && rustup default nightly
-      - run: cargo run --release --bin wdl-gauntlet -- --skip-remote
\ No newline at end of file
+      - run: cargo run --release --bin wdl-gauntlet
+        env:
+          GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
\ No newline at end of file
diff --git a/.github/workflows/gauntlet-refresh.yml b/.github/workflows/gauntlet-refresh.yml
deleted file mode 100644
index 16cf15574..000000000
--- a/.github/workflows/gauntlet-refresh.yml
+++ /dev/null
@@ -1,35 +0,0 @@
-# This action refreshes the cache for `wdl-gauntlet` either (a) on-demand or (b) on an on-going
-# basis via scheduling. It is assumed that the latest version of the `main` branch will not contain
-# any errors. As such, it should be safe to refresh the cache automatically to ensure errors are not
-# frequently thrown when submitting pull requests.
-
-name: Gauntlet (Refresh)
-
-on:
-  workflow_dispatch:
-  schedule:
-    - cron: '0 2 * * *' # Every night at 2:00 AM.
-
-env:
-  CACHE_DIR: ~/.config/wdl-grammar
-
-jobs:
-  refresh:
-    runs-on: ubuntu-22.04
-    steps:
-      - uses: actions/cache@v3
-        with:
-          path: ${{ env.CACHE_DIR }} 
-          key: wdl-grammar
-      - uses: actions/checkout@v3
-      - name: Update Rust
-        run: rustup update nightly && rustup default nightly 
-      - name: Install `wdl-gauntlet`
-        run: cargo install --path wdl-gauntlet
-      - name: Copy configuration
-        run: mkdir -p $CACHE_DIR; cp Gauntlet.toml $CACHE_DIR;
-      - name: Update cache
-        run: wdl-gauntlet --save-config --trace
-        env:
-          GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-        working-directory: ${{ env.HOME }}