Skip to content

Commit 6607398

Browse files
committed
[CI] Use a fixed Julia version for building the website
1 parent ef01649 commit 6607398

4 files changed

Lines changed: 329 additions & 256 deletions

File tree

.github/workflows/Deploy.yml

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -50,6 +50,10 @@ jobs:
5050
permissions: write-all
5151
steps:
5252
- uses: actions/checkout@v6
53+
- uses: julia-actions/setup-julia@v2
54+
with:
55+
# Same version as the one used to resolve the manifest
56+
version: '1.12.5'
5357
- uses: julia-actions/cache@v3
5458
- uses: tlienart/xranklin-build-action@e70949a36370edb99328be6141fb276265d96ea7
5559
with:

Manifest-v1.12.toml

Lines changed: 322 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,322 @@
1+
# This file is machine-generated - editing it directly is not advised
2+
3+
julia_version = "1.12.5"
4+
manifest_format = "2.0"
5+
project_hash = "aca007c9a9d2de0ff476272ac6b9cca463b4fdcc"
6+
7+
[[deps.ANSIColoredPrinters]]
8+
git-tree-sha1 = "574baf8110975760d391c710b6341da1afa48d8c"
9+
uuid = "a4c015fc-c6ff-483c-b24f-f7ea428134e9"
10+
version = "0.0.1"
11+
12+
[[deps.ArgTools]]
13+
uuid = "0dad84c5-d112-42e6-8d28-ef12dabb789f"
14+
version = "1.1.2"
15+
16+
[[deps.Artifacts]]
17+
uuid = "56f22d72-fd6d-98f1-02f0-08ddc0907c33"
18+
version = "1.11.0"
19+
20+
[[deps.Base64]]
21+
uuid = "2a0f44e3-6c83-55bd-87e4-b1978d98bd5f"
22+
version = "1.11.0"
23+
24+
[[deps.BitFlags]]
25+
git-tree-sha1 = "0691e34b3bb8be9307330f88d1a3c3f25466c24d"
26+
uuid = "d1d4a3ce-64b1-5f1a-9ba4-7e7e69966f35"
27+
version = "0.1.9"
28+
29+
[[deps.CRC32c]]
30+
uuid = "8bf52ea8-c179-5cab-976a-9e18b702a9bc"
31+
version = "1.11.0"
32+
33+
[[deps.CodecZlib]]
34+
deps = ["TranscodingStreams", "Zlib_jll"]
35+
git-tree-sha1 = "962834c22b66e32aa10f7611c08c8ca4e20749a9"
36+
uuid = "944b1d66-785c-5afd-91f1-9de20f533193"
37+
version = "0.7.8"
38+
39+
[[deps.CompilerSupportLibraries_jll]]
40+
deps = ["Artifacts", "Libdl"]
41+
uuid = "e66e0078-7015-5450-92f7-15fbd957f2ae"
42+
version = "1.3.0+1"
43+
44+
[[deps.ConcurrentUtilities]]
45+
deps = ["Serialization", "Sockets"]
46+
git-tree-sha1 = "21d088c496ea22914fe80906eb5bce65755e5ec8"
47+
uuid = "f0e56b4a-5159-44fe-b623-3e5288b988bb"
48+
version = "2.5.1"
49+
50+
[[deps.Dates]]
51+
deps = ["Printf"]
52+
uuid = "ade2ca70-3891-5945-98fb-dc099432e06a"
53+
version = "1.11.0"
54+
55+
[[deps.DelimitedFiles]]
56+
deps = ["Mmap"]
57+
git-tree-sha1 = "9e2f36d3c96a820c678f2f1f1782582fcf685bae"
58+
uuid = "8bb1440f-4735-579b-a4ab-409b98df4dab"
59+
version = "1.9.1"
60+
61+
[[deps.Downloads]]
62+
deps = ["ArgTools", "FileWatching", "LibCURL", "NetworkOptions"]
63+
uuid = "f43a241f-c20a-4ad4-852c-f6b1247861c6"
64+
version = "1.7.0"
65+
66+
[[deps.ExceptionUnwrapping]]
67+
deps = ["Test"]
68+
git-tree-sha1 = "d36f682e590a83d63d1c7dbd287573764682d12a"
69+
uuid = "460bff9d-24e4-43bc-9d9f-a8973cb893f4"
70+
version = "0.1.11"
71+
72+
[[deps.FileWatching]]
73+
uuid = "7b1f6079-737a-58dc-b8bc-7a2ca5c1b5ee"
74+
version = "1.11.0"
75+
76+
[[deps.FranklinParser]]
77+
deps = ["PrecompileTools", "REPL"]
78+
git-tree-sha1 = "7daf95d2334d4c0f73353e110c9396e9d5258afb"
79+
uuid = "796511e7-1510-466f-ad0c-1823c64bcafa"
80+
version = "0.7.1"
81+
82+
[[deps.HTTP]]
83+
deps = ["Base64", "CodecZlib", "ConcurrentUtilities", "Dates", "ExceptionUnwrapping", "Logging", "LoggingExtras", "MbedTLS", "NetworkOptions", "OpenSSL", "PrecompileTools", "Random", "SimpleBufferStream", "Sockets", "URIs", "UUIDs"]
84+
git-tree-sha1 = "5e6fe50ae7f23d171f44e311c2960294aaa0beb5"
85+
uuid = "cd3eb016-35fb-5094-929b-558a96fad6f3"
86+
version = "1.10.19"
87+
88+
[[deps.IOCapture]]
89+
deps = ["Logging", "Random"]
90+
git-tree-sha1 = "b6d6bfdd7ce25b0f9b2f6b3dd56b2673a66c8770"
91+
uuid = "b5f81e59-6552-4d32-b1f0-c071b021bf89"
92+
version = "0.2.5"
93+
94+
[[deps.InteractiveUtils]]
95+
deps = ["Markdown"]
96+
uuid = "b77e0a4c-d291-57a0-90e8-8db25a27a240"
97+
version = "1.11.0"
98+
99+
[[deps.JLLWrappers]]
100+
deps = ["Artifacts", "Preferences"]
101+
git-tree-sha1 = "0533e564aae234aff59ab625543145446d8b6ec2"
102+
uuid = "692b3bcd-3c85-4b1f-b108-f13ce0eb3210"
103+
version = "1.7.1"
104+
105+
[[deps.JuliaSyntaxHighlighting]]
106+
deps = ["StyledStrings"]
107+
uuid = "ac6e5ff7-fb65-4e79-a425-ec3bc9c03011"
108+
version = "1.12.0"
109+
110+
[[deps.LibCURL]]
111+
deps = ["LibCURL_jll", "MozillaCACerts_jll"]
112+
uuid = "b27032c2-a3e7-50c8-80cd-2d36dbcbfd21"
113+
version = "0.6.4"
114+
115+
[[deps.LibCURL_jll]]
116+
deps = ["Artifacts", "LibSSH2_jll", "Libdl", "OpenSSL_jll", "Zlib_jll", "nghttp2_jll"]
117+
uuid = "deac9b47-8bc7-5906-a0fe-35ac56dc84c0"
118+
version = "8.15.0+0"
119+
120+
[[deps.LibGit2]]
121+
deps = ["LibGit2_jll", "NetworkOptions", "Printf", "SHA"]
122+
uuid = "76f85450-5226-5b5a-8eaa-529ad045b433"
123+
version = "1.11.0"
124+
125+
[[deps.LibGit2_jll]]
126+
deps = ["Artifacts", "LibSSH2_jll", "Libdl", "OpenSSL_jll"]
127+
uuid = "e37daf67-58a4-590a-8e99-b0245dd2ffc5"
128+
version = "1.9.0+0"
129+
130+
[[deps.LibSSH2_jll]]
131+
deps = ["Artifacts", "Libdl", "OpenSSL_jll"]
132+
uuid = "29816b5a-b9ab-546f-933c-edad1886dfa8"
133+
version = "1.11.3+1"
134+
135+
[[deps.Libdl]]
136+
uuid = "8f399da3-3557-5675-b5ff-fb832c97cbdb"
137+
version = "1.11.0"
138+
139+
[[deps.LiveServer]]
140+
deps = ["HTTP", "LoggingExtras", "MIMEs", "Sockets", "Test"]
141+
git-tree-sha1 = "9f65b8a9989e6acb6e216785dd0c748d9569fc9b"
142+
uuid = "16fef848-5104-11e9-1b77-fb7a48bbb589"
143+
version = "1.5.0"
144+
145+
[[deps.Logging]]
146+
uuid = "56ddb016-857b-54e1-b83d-db4d58db5568"
147+
version = "1.11.0"
148+
149+
[[deps.LoggingExtras]]
150+
deps = ["Dates", "Logging"]
151+
git-tree-sha1 = "f00544d95982ea270145636c181ceda21c4e2575"
152+
uuid = "e6f89c97-d47a-5376-807f-9c37f3926c36"
153+
version = "1.2.0"
154+
155+
[[deps.MIMEs]]
156+
git-tree-sha1 = "65f28ad4b594aebe22157d6fac869786a255b7eb"
157+
uuid = "6c6e2e6c-3030-632d-7369-2d6c69616d65"
158+
version = "0.1.4"
159+
160+
[[deps.Markdown]]
161+
deps = ["Base64", "JuliaSyntaxHighlighting", "StyledStrings"]
162+
uuid = "d6f4376e-aef5-505a-96c1-9c027394607a"
163+
version = "1.11.0"
164+
165+
[[deps.MbedTLS]]
166+
deps = ["Dates", "MbedTLS_jll", "MozillaCACerts_jll", "NetworkOptions", "Random", "Sockets"]
167+
git-tree-sha1 = "8785729fa736197687541f7053f6d8ab7fc44f92"
168+
uuid = "739be429-bea8-5141-9913-cc70e7f3736d"
169+
version = "1.1.10"
170+
171+
[[deps.MbedTLS_jll]]
172+
deps = ["Artifacts", "JLLWrappers", "Libdl"]
173+
git-tree-sha1 = "ff69a2b1330bcb730b9ac1ab7dd680176f5896b8"
174+
uuid = "c8ffd9c3-330d-5841-b78e-0817d7145fa1"
175+
version = "2.28.1010+0"
176+
177+
[[deps.Mmap]]
178+
uuid = "a63ad114-7e13-5084-954f-fe012c677804"
179+
version = "1.11.0"
180+
181+
[[deps.MozillaCACerts_jll]]
182+
uuid = "14a3606d-f60d-562e-9121-12d972cd8159"
183+
version = "2025.11.4"
184+
185+
[[deps.NetworkOptions]]
186+
uuid = "ca575930-c2e3-43a9-ace4-1e988b2c1908"
187+
version = "1.3.0"
188+
189+
[[deps.OpenSSL]]
190+
deps = ["BitFlags", "Dates", "MozillaCACerts_jll", "NetworkOptions", "OpenSSL_jll", "Sockets"]
191+
git-tree-sha1 = "1d1aaa7d449b58415f97d2839c318b70ffb525a0"
192+
uuid = "4d8831e6-92b7-49fb-bdf8-b643e874388c"
193+
version = "1.6.1"
194+
195+
[[deps.OpenSSL_jll]]
196+
deps = ["Artifacts", "Libdl"]
197+
uuid = "458c3c95-2e84-50aa-8efc-19380b2a3a95"
198+
version = "3.5.4+0"
199+
200+
[[deps.OrderedCollections]]
201+
git-tree-sha1 = "05868e21324cede2207c6f0f466b4bfef6d5e7ee"
202+
uuid = "bac558e1-5e72-5ebc-8fee-abe8a469f55d"
203+
version = "1.8.1"
204+
205+
[[deps.Pkg]]
206+
deps = ["Artifacts", "Dates", "Downloads", "FileWatching", "LibGit2", "Libdl", "Logging", "Markdown", "Printf", "Random", "SHA", "TOML", "Tar", "UUIDs", "p7zip_jll"]
207+
uuid = "44cfe95a-1eb2-52ea-b672-e2afdf69b78f"
208+
version = "1.12.1"
209+
weakdeps = ["REPL"]
210+
211+
[deps.Pkg.extensions]
212+
REPLExt = "REPL"
213+
214+
[[deps.PrecompileTools]]
215+
deps = ["Preferences"]
216+
git-tree-sha1 = "07a921781cab75691315adc645096ed5e370cb77"
217+
uuid = "aea7be01-6a6a-4083-8856-8a6e6704d82a"
218+
version = "1.3.3"
219+
220+
[[deps.Preferences]]
221+
deps = ["TOML"]
222+
git-tree-sha1 = "8b770b60760d4451834fe79dd483e318eee709c4"
223+
uuid = "21216c6a-2e73-6563-6e65-726566657250"
224+
version = "1.5.2"
225+
226+
[[deps.Printf]]
227+
deps = ["Unicode"]
228+
uuid = "de0858da-6303-5e67-8744-51eddeeeb8d7"
229+
version = "1.11.0"
230+
231+
[[deps.REPL]]
232+
deps = ["InteractiveUtils", "JuliaSyntaxHighlighting", "Markdown", "Sockets", "StyledStrings", "Unicode"]
233+
uuid = "3fa0cd96-eef1-5676-8a61-b3b8758bbffb"
234+
version = "1.11.0"
235+
236+
[[deps.Random]]
237+
deps = ["SHA"]
238+
uuid = "9a3f8284-a2c9-5f02-9a11-845980a1fd5c"
239+
version = "1.11.0"
240+
241+
[[deps.Reexport]]
242+
git-tree-sha1 = "45e428421666073eab6f2da5c9d310d99bb12f9b"
243+
uuid = "189a3867-3050-52da-a836-e630ba90ab69"
244+
version = "1.2.2"
245+
246+
[[deps.SHA]]
247+
uuid = "ea8e919c-243c-51af-8825-aaa63cd721ce"
248+
version = "0.7.0"
249+
250+
[[deps.Serialization]]
251+
uuid = "9e88b42a-f829-5b0c-bbe9-9e923198166b"
252+
version = "1.11.0"
253+
254+
[[deps.SimpleBufferStream]]
255+
git-tree-sha1 = "f305871d2f381d21527c770d4788c06c097c9bc1"
256+
uuid = "777ac1f9-54b0-4bf8-805c-2214025038e7"
257+
version = "1.2.0"
258+
259+
[[deps.Sockets]]
260+
uuid = "6462fe0b-24de-5631-8697-dd941f90decc"
261+
version = "1.11.0"
262+
263+
[[deps.StyledStrings]]
264+
uuid = "f489334b-da3d-4c2e-b8f0-e476e12c162b"
265+
version = "1.11.0"
266+
267+
[[deps.TOML]]
268+
deps = ["Dates"]
269+
uuid = "fa267f1f-6049-4f14-aa54-33bafae1ed76"
270+
version = "1.0.3"
271+
272+
[[deps.Tar]]
273+
deps = ["ArgTools", "SHA"]
274+
uuid = "a4e569a6-e804-4fa4-b0f3-eef7a1d5b13e"
275+
version = "1.10.0"
276+
277+
[[deps.Test]]
278+
deps = ["InteractiveUtils", "Logging", "Random", "Serialization"]
279+
uuid = "8dfed614-e22c-5e08-85e1-65c5234f0b40"
280+
version = "1.11.0"
281+
282+
[[deps.TranscodingStreams]]
283+
git-tree-sha1 = "0c45878dcfdcfa8480052b6ab162cdd138781742"
284+
uuid = "3bb67fe8-82b1-5028-8e26-92a6c54297fa"
285+
version = "0.11.3"
286+
287+
[[deps.URIs]]
288+
git-tree-sha1 = "bef26fb046d031353ef97a82e3fdb6afe7f21b1a"
289+
uuid = "5c2747f8-b7ea-4ff2-ba2e-563bfd36b1d4"
290+
version = "1.6.1"
291+
292+
[[deps.UUIDs]]
293+
deps = ["Random", "SHA"]
294+
uuid = "cf7118a7-6976-5b1a-9a39-7adc72f591a4"
295+
version = "1.11.0"
296+
297+
[[deps.Unicode]]
298+
uuid = "4ec0a83e-493e-50e2-b9ac-8f72acf5a8f5"
299+
version = "1.11.0"
300+
301+
[[deps.Xranklin]]
302+
deps = ["ANSIColoredPrinters", "CRC32c", "Dates", "FranklinParser", "IOCapture", "LiveServer", "Logging", "Markdown", "OrderedCollections", "Pkg", "REPL", "Reexport", "Serialization", "TOML", "URIs"]
303+
git-tree-sha1 = "e6f2ea98dd566b8b6f3418b6fdfa7c7562cb9320"
304+
repo-rev = "main"
305+
repo-url = "https://github.com/tlienart/Xranklin.jl.git"
306+
uuid = "558449b0-171e-4e1f-900f-d076a5ddf486"
307+
version = "0.1.0"
308+
309+
[[deps.Zlib_jll]]
310+
deps = ["Libdl"]
311+
uuid = "83775a58-1f1d-513f-b197-d71354ab007a"
312+
version = "1.3.1+2"
313+
314+
[[deps.nghttp2_jll]]
315+
deps = ["Artifacts", "Libdl"]
316+
uuid = "8e850ede-7688-5339-a07c-302acd2aaf8d"
317+
version = "1.64.0+1"
318+
319+
[[deps.p7zip_jll]]
320+
deps = ["Artifacts", "CompilerSupportLibraries_jll", "Libdl"]
321+
uuid = "3f19e933-33d8-53b3-aaab-bd5110c3b7a0"
322+
version = "17.7.0+0"

0 commit comments

Comments
 (0)