From e67043a7b873593b6658b4e0c315b0b92a6190bf Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Elton=20M=C3=A1ximo=20Cardoso?= Date: Wed, 2 Oct 2024 16:40:07 -0300 Subject: [PATCH] Create blank.yml --- .github/workflows/blank.yml | 36 ++++++++++++++++++++++++++++++++++++ 1 file changed, 36 insertions(+) create mode 100644 .github/workflows/blank.yml diff --git a/.github/workflows/blank.yml b/.github/workflows/blank.yml new file mode 100644 index 0000000..0b4809f --- /dev/null +++ b/.github/workflows/blank.yml @@ -0,0 +1,36 @@ + +name: build + +# Controls when the workflow will run +on: + # Triggers the workflow on push or pull request events but only for the main branch + push: + branches: [ main ] + pull_request: + branches: [ main ] + + # Allows you to run this workflow manually from the Actions tab + workflow_dispatch: + +# A workflow run is made up of one or more jobs that can run sequentially or in parallel +jobs: + # This workflow contains a single job called "build" + build: + # The type of runner that the job will run on + runs-on: ubuntu-latest + + # Steps represent a sequence of tasks that will be executed as part of the job + steps: + # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it + - uses: actions/checkout@v2 + - name: Install Racket + uses: Bogdanp/setup-racket@v1.6.1 + with: + architecture: 'x64' + distribution: 'full' + version: '8.11' + - name: Install deps + run: raco pkg install --auto --batch --fail-fast rackcheck peg-gen typed-racket-datatype; + + - name: compile + run: raco pkg install; raco make main.rkt