Dependencies · unicoq/unicoq · GitHub

Dependency graph

2 Total

actions/checkout 2

GitHub Actions · .github/workflows/main.yml · Detected automatically on Aug 19, 2022
Paths for actions/checkout 2
Paths for actions/checkout 2
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
coq-community/docker-coq-action 1

GitHub Actions · .github/workflows/main.yml · Detected automatically on Aug 19, 2022
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