From ffbed5076f1df54a17f38351a8dd8bad806409e2 Mon Sep 17 00:00:00 2001 From: "ajeffrey@roblox.com" Date: Wed, 9 Feb 2022 15:37:59 -0600 Subject: [PATCH] Update workflow --- .github/workflows/prototyping.yml | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/.github/workflows/prototyping.yml b/.github/workflows/prototyping.yml index 35e2883f..02e021ee 100644 --- a/.github/workflows/prototyping.yml +++ b/.github/workflows/prototyping.yml @@ -42,16 +42,20 @@ jobs: - name: check examples working-directory: prototyping run: ~/.cabal/bin/agda Examples.agda - - name: build PrettyPrinter + - name: build executables working-directory: prototyping - run: ~/.cabal/bin/agda --compile --ghc-flag=-v PrettyPrinter.agda + run: | + ~/.cabal/bin/agda --compile PrettyPrinter.agda + ~/.cabal/bin/agda --compile Interpreter.agda - name: cmake configure run: cmake . - name: cmake build luau-ast run: cmake --build . --target Luau.Ast.CLI - name: run smoketest working-directory: prototyping - run: ../luau-ast Examples/SmokeTest.lua | ./PrettyPrinter > Examples/SmokeTestOutput.lua + run: | + ../luau-ast Examples/SmokeTest.lua | ./PrettyPrinter > Examples/SmokeTestOutput.lua + ../luau-ast Examples/SmokeTest.lua | ./Interpreter - name: diff smoketest working-directory: prototyping run: diff Examples/SmokeTest.lua Examples/SmokeTestOutput.lua