Dependencies · coq-community/aac-tactics

Dependency graph

8 Total

actions/checkout 3

GitHub Actions · .github/workflows/nix-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
cachix/cachix-action 12

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

Transitive
cachix/install-nix-action 20

GitHub Actions · .github/workflows/nix-action.yml · Detected automatically on Oct 15, 2023
Paths for cachix/install-nix-action 20
Paths for cachix/install-nix-action 20
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
actions/checkout 2

GitHub Actions · .github/workflows/docker-action.yml · Detected automatically on Feb 09, 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/docker-action.yml · Detected automatically on Feb 09, 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
actions/checkout 3.*.*

GitHub Actions · .github/workflows/deploy-docs.yml · Detected automatically on Jun 01, 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/deploy-docs.yml · Detected automatically on Jun 01, 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
crazy-max/ghaction-github-pages 2.*.*

GitHub Actions · .github/workflows/deploy-docs.yml · Detected automatically on Jun 01, 2024
Paths for crazy-max/ghaction-github-pages 2.*.*
Paths for crazy-max/ghaction-github-pages 2.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Dependency graph

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Insights: coq-community/aac-tactics

Dependency graph