From 178211a21d1c4c299ec0de03bf75b7874f6bccc4 Mon Sep 17 00:00:00 2001 From: "ajeffrey@roblox.com" Date: Tue, 8 Feb 2022 14:30:43 -0600 Subject: [PATCH] Responding to review comments --- .github/workflows/prototyping.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/prototyping.yml b/.github/workflows/prototyping.yml index 368d6c92..1d5a36f5 100644 --- a/.github/workflows/prototyping.yml +++ b/.github/workflows/prototyping.yml @@ -4,7 +4,6 @@ on: push: branches: - 'master' - - 'prototyping' paths: - '.github/workflows/**' - 'prototyping/**' @@ -18,6 +17,7 @@ jobs: strategy: matrix: agda: [2.6.2.1] + name: prototyping runs-on: ubuntu-latest steps: - uses: actions/checkout@v1