Skip to content

[FileFormats.MOF] replace JSON3 by JSON.jl (#2918) #5725

[FileFormats.MOF] replace JSON3 by JSON.jl (#2918)

[FileFormats.MOF] replace JSON3 by JSON.jl (#2918) #5725

Triggered via push January 26, 2026 02:13
Status Success
Total duration 10m 56s
Artifacts 1
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
PDF build logs
1.56 MB
sha256:224c4662557fe5ecc5a77057559ed3a6460989d5e28f7c8d577553992c4c46b4