mirror of
https://github.com/luau-lang/luau.git
synced 2025-05-04 10:33:46 +01:00
pin to an actually existing index state
This commit is contained in:
parent
13305ce3d5
commit
0e206d8bf3
1 changed files with 1 additions and 1 deletions
2
.github/workflows/prototyping.yml
vendored
2
.github/workflows/prototyping.yml
vendored
|
@ -8,7 +8,7 @@ on:
|
||||||
|
|
||||||
env:
|
env:
|
||||||
AGDA_VERSION: 2.6.2.1
|
AGDA_VERSION: 2.6.2.1
|
||||||
INDEX_STATE: '@1646344690'
|
INDEX_STATE: 2022-03-03T21:49:20Z
|
||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
linux:
|
linux:
|
||||||
|
|
Loading…
Add table
Reference in a new issue