Dependencies · coq-community/fav-ssr · GitHub

Dependency graph

2 Total

actions/checkout 3.*.*

GitHub Actions · .github/workflows/docker-action.yml · Detected automatically on Dec 30, 2024
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 Dec 30, 2024
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