Merge pull request #3987 from mtzguido/compress_univ #898

Job	Run time
opam / build (5.3)	22m 23s
build / build	24m 0s
opam / build (4.14.2)	18m 20s
nix / fstar-nix	19m 21s
tests / tests	17m 1s
tests / stage3	8m 8s
tests / bare	2m 38s
tests / perf-canaries	21s
tests / internal	2m 46s
tests / binary-smoke	11s
pulse / build-pulse-plugin	5m 18s
tests / ocaml-smoke (fstar-src.tar.gz, ubuntu-latest)	8m 31s
tests / ocaml-smoke (fstar-src.tar.gz, ubuntu-24.04)	7m 44s
ciok	0s
	2h 16m 42s

Provide feedback