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

Pin hackage again :(

Browse source
This commit is contained in:
ajeffrey@roblox.com 2022-04-08 18:45:19 -05:00
parent 6fe94e0664
commit 7e3fd38633
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -11,6 +11,8 @@ jobs:
strategy:
matrix:
agda: [2.6.2.1]
hackageDate: ["2022-01-31"]
hackageTime: ["23:42:28"]
name: prototyping
runs-on: ubuntu-latest
steps:
@ -18,7 +20,7 @@ jobs:
- uses: actions/cache@v2
with:
path: ~/.cabal/store
key: "prototyping-${{ runner.os }}-${{ matrix.agda }}"
key: "prototyping-${{ runner.os }}-${{ matrix.agda }}-${{ matrix.hackageDate }}-${{ matrix.hackageTime }}"
- uses: actions/cache@v2
id: luau-ast-cache
with: