build

Update build.yml #10

	# This is a basic workflow to help you get started with Actions

	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/[email protected]
	with:
	architecture: 'x64'
	distribution: 'full'
	version: '8.6'
	- name: Install deps
	run: sudo raco pkg install --auto --batch --fail-fast rackcheck;
	sudo raco pkg install --auto --batch --fail-fast pegwfgen;
	sudo raco pkg install --auto --batch --fail-fast yped-racket-datatype;
	sudo raco pkg install --auto --batch --fail-fast cover; # Runs a single command using the runners shell

	- name: compile
	run: sudo raco setup; sudo raco pkg install; raco make main.rkt

Provide feedback