idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-11-28 11:05:17 +03:00
Code Issues Projects Releases Wiki Activity

Fix racket CI

Browse Source
This commit is contained in:
Niklas Larsson 2020-06-18 16:00:26 +02:00 committed by GitHub
parent 649e1989e0
commit 3e53551d8b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.github/workflows/ci-ubuntu-racket.yml vendored
View File

@ -17,6 +17,7 @@ jobs:
uses: actions/checkout@v2
- name: Install build dependencies
run: |
sudo apt-get update
sudo apt-get install -y racket
- name: Build from bootstrap
run: make bootstrap-racket