Supply Chain Integrity, Transparency, and Trust (IETF SCITT)
Skip MDX execution on opam install README blocks
The READMEs all share the standard install/overlay snippet, but the
sh blocks lacked the "<!-- $MDX skip -->" directive. `dune test`
would shell out to `opam install` against the live switch, which
either prompts interactively or fails with a package conflict —
either way diffing as a test failure.
Bulk-add skip directives in front of every install/overlay block.
Also collapse the doubled "non-deterministic + skip" stack on three
READMEs (memtrace, ocaml-dpop, ocaml-pid1, ocaml-yaml, merlint) where
`skip` already implies the runtime is bypassed.
+3
+3
README.md
+3
README.md
···
16
16
17
17
Install the core package with opam:
18
18
19
+
<!-- $MDX skip -->
19
20
```sh
20
21
$ opam install scitt
21
22
```
22
23
23
24
Optional packages provide the AT Proto backend and lexicon types:
24
25
26
+
<!-- $MDX skip -->
25
27
```sh
26
28
$ opam install scitt-atp # for AT Proto MST backend
27
29
$ opam install atp-lexicon-scitt # for AT Proto lexicon types
···
31
33
`opam-repository`. Add the overlay repository, then install the packages you
32
34
need:
33
35
36
+
<!-- $MDX skip -->
34
37
```sh
35
38
$ opam repo add samoht https://tangled.org/gazagnaire.org/opam-overlay.git
36
39
$ opam update