mirror of
https://github.com/luau-lang/luau.git
synced 2025-05-04 10:33:46 +01:00
the right timestamp, please
This commit is contained in:
parent
b2b3145186
commit
3a778f1f83
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: '@1646345581'
|
INDEX_STATE: '@1646344160'
|
||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
linux:
|
linux:
|
||||||
|
|
Loading…
Add table
Reference in a new issue