Add option to pretty-print existing llbc file #1865
ci.yml
on: pull_request
nix
4m 30s
check-version-number
16s
aeneas
11m 47s
kyber
8m 39s