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

check Everything

Browse source
This commit is contained in:
Lily Brown 2022-03-02 14:56:02 -08:00
parent 84ab49eb08
commit 51ca4720ce
1 changed files with 1 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -37,8 +37,7 @@ jobs:
- name: check targets - name: check targets
working-directory: prototyping working-directory: prototyping
run: | run: |
~/.cabal/bin/agda Examples.agda ~/.cabal/bin/agda Everything.agda
~/.cabal/bin/agda Properties.agda
- name: build executables - name: build executables
working-directory: prototyping working-directory: prototyping
run: | run: |