From a1325c106d21b118d5d385daf0220083b00a3f0a Mon Sep 17 00:00:00 2001 From: "ajeffrey@roblox.com" Date: Mon, 7 Feb 2022 17:04:34 -0600 Subject: [PATCH] First cut github actions --- .github/workflows/prototyping.yml | 39 +++++++++++++++++++ prototyping/{Main.agda => PrettyPrinter.agda} | 0 2 files changed, 39 insertions(+) create mode 100644 .github/workflows/prototyping.yml rename prototyping/{Main.agda => PrettyPrinter.agda} (100%) diff --git a/.github/workflows/prototyping.yml b/.github/workflows/prototyping.yml new file mode 100644 index 00000000..6b3386a9 --- /dev/null +++ b/.github/workflows/prototyping.yml @@ -0,0 +1,39 @@ +name: prototyping + +on: + push: + branches: + - 'master' + - 'prototyping' + paths: + - 'prototyping/**' + pull_request: + paths: + - 'prototyping/**' + +jobs: + unix: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v1 + - name: install agda + run: sudo apt-get install -y agda + - name: cmake configure + run: cmake . + - name: cmake build luau-ast + run: cmake --build . --target Luau.Ast.CLI + - name: check examples + working-directory: prototyping + run: agda Examples.agda + - name: cabal install + working-directory: prototyping + run: cabal install --lib aeson scientific vector + - name: build PrettyPrinter + working-directory: prototyping + run: agda --compile PrettyPrinter.agda + - name: run smoketest + working-directory: prototyping + run: ../lua-ast Examples/SmokeTest.lua | ./PrettyPrinter > Examples/SmokeTestOutput.lua + - name: diff smoketest + working-directory: prototyping + run: diff Examples/SmokeTest.lua SmokeTestOutput.lua diff --git a/prototyping/Main.agda b/prototyping/PrettyPrinter.agda similarity index 100% rename from prototyping/Main.agda rename to prototyping/PrettyPrinter.agda