Skip to content
Back to pull request #4773

Some more serialization of stuff around localizations #18133

Sign in to view logs

Some more serialization of stuff around localizations

Some more serialization of stuff around localizations #18133

Triggered via pull request April 2, 2025 09:09
@HechtiDerLachsHechtiDerLachs
reopened #4773
HechtiDerLachs:localization_serialization_second_attempt
Status Success
Total duration 15m 24s
Artifacts –

Docu.yml

on: pull_request
deploy_docs
15m 12s
deploy_docs
Fit to window
Zoom out
Zoom in

Annotations

1 notice
[julia-buildpkg] Caching of the julia depot was not detected
Consider using `julia-actions/cache` to speed up runs https://github.com/julia-actions/cache To ignore, set input `ignore-no-cache: true`