luau-lang/luau
1
0
Fork 0
mirror of https://github.com/luau-lang/luau.git synced 2025-05-04 10:33:46 +01:00
Code Issues Projects Releases Packages Wiki Activity

Add cabal update to workflow

Browse source
This commit is contained in:
ajeffrey@roblox.com 2022-02-07 17:10:58 -06:00
parent 50a9ea1b63
commit ce9b7e4c70
1 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
.github/workflows/prototyping.yml vendored
View file

@ -12,7 +12,7 @@ on:
- 'prototyping/**'
jobs:
unix:
linux:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v1
@ -25,6 +25,9 @@ jobs:
- name: check examples
working-directory: prototyping
run: agda Examples.agda
- name: cabal update
working-directory: prototyping
run: cabal update
- name: cabal install
working-directory: prototyping
run: cabal install --lib aeson scientific vector