Dependencies · INRIA/zelus · GitHub

Dependency graph

4 Total

actions/checkout 2

GitHub Actions · .github/workflows/build.yml · Detected automatically on Dec 16, 2021
Paths for actions/checkout 2
Paths for actions/checkout 2
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
ocaml/setup-ocaml 2

GitHub Actions · .github/workflows/build.yml · Detected automatically on Dec 16, 2021
Paths for ocaml/setup-ocaml 2
Paths for ocaml/setup-ocaml 2
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
actions/checkout 2

GitHub Actions · .github/workflows/opam.yml · Detected automatically on Dec 16, 2021
Paths for actions/checkout 2
Paths for actions/checkout 2
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
ocaml/setup-ocaml 2

GitHub Actions · .github/workflows/opam.yml · Detected automatically on Dec 16, 2021
Paths for ocaml/setup-ocaml 2
Paths for ocaml/setup-ocaml 2
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive