Skip to content

Scripts/Docker: install uncompressed SRS

Depends on: opam-repository!507 (merged)

What

This MR modify scripts/install-dal-trusted-setup in order to download the SRS in new uncompressed format (see !12827 (merged)). This also installs the script in the docker build image, in order for the tezt CI images to be able to download the SRS.

Why

This is a try-to-be-smooth transition to use real SRS in a format that should be faster to load than at this time.

Edited by Arvid Jakobsson

Merge request reports