Dependencies · uwplse/verdi · GitHub

Dependency graph

2 Total

actions/checkout 3

GitHub Actions · .github/workflows/docker-action.yml · Detected automatically on Oct 15, 2023
Paths for actions/checkout 3
Paths for actions/checkout 3
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
coq-community/docker-coq-action 1

GitHub Actions · .github/workflows/docker-action.yml · Detected automatically on Oct 15, 2023
Paths for coq-community/docker-coq-action 1
Paths for coq-community/docker-coq-action 1
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive

ProTip! Supported ecosystems will have transitivity labels on their packages.