From 51ca4720ce5296483ac877808ff4f877fb344c69 Mon Sep 17 00:00:00 2001
From: Lily Brown <lbrown@roblox.com>
Date: Wed, 2 Mar 2022 14:56:02 -0800
Subject: [PATCH] check Everything

---
 .github/workflows/prototyping.yml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/.github/workflows/prototyping.yml b/.github/workflows/prototyping.yml
index c92e5803..6bc8a81b 100644
--- a/.github/workflows/prototyping.yml
+++ b/.github/workflows/prototyping.yml
@@ -37,8 +37,7 @@ jobs:
     - name: check targets
       working-directory: prototyping
       run: |
-        ~/.cabal/bin/agda Examples.agda
-        ~/.cabal/bin/agda Properties.agda
+        ~/.cabal/bin/agda Everything.agda
     - name: build executables
       working-directory: prototyping
       run: |