Skip to content

Commit 1833f72

Browse files
committed
Update CI file.
1 parent 1e6d988 commit 1833f72

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

ci.jsonnet

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@
1010
# https://github.com/google/jsonnet/releases and compiled.
1111

1212
# CONFIGURATION
13-
local overlay = "f1a73a4625a1b7a4d552734bcd248f291c25d715";
13+
local overlay = "a8ffba29647185aa9d6c1191be546ef5d9f18708";
1414

1515
# For debugging: generated builds will be restricted to those listed in
1616
# the array. No restriction is applied when it is empty.

0 commit comments

Comments
 (0)