Dependencies · UniMath/TypeTheory · GitHub

Dependency graph

3 Total

actions/cache 4

GitHub Actions · .github/workflows/build-typetheory.yml · Detected automatically on Feb 08, 2024
Paths for actions/cache 4
Paths for actions/cache 4
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
actions/checkout 4

GitHub Actions · .github/workflows/build-typetheory.yml · Detected automatically on Feb 08, 2024
Paths for actions/checkout 4
Paths for actions/checkout 4
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
coq-community/docker-coq-action 1

GitHub Actions · .github/workflows/build-typetheory.yml · Detected automatically on Feb 08, 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