Dependencies · aya-prover/aya-dev

Dependency graph

22 Total

actions/checkout 4.*.*

GitHub Actions · .github/workflows/extract-version.yaml · Detected automatically on Oct 18, 2025
Paths for actions/checkout 4.*.*
Paths for actions/checkout 4.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
actions/checkout 4.*.*

GitHub Actions · .github/workflows/commit-check.yaml · Detected automatically on Apr 19, 2025
Paths for actions/checkout 4.*.*
Paths for actions/checkout 4.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
actions/checkout 4.*.*

GitHub Actions · .github/workflows/gradle-check.yaml · Detected automatically on Nov 10, 2025
Paths for actions/checkout 4.*.*
Paths for actions/checkout 4.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
actions/setup-java 4.*.*

GitHub Actions · .github/workflows/gradle-check.yaml · Detected automatically on Nov 10, 2025
Paths for actions/setup-java 4.*.*
Paths for actions/setup-java 4.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
aya-prover/aya-dev/.github/workflows/extract-version.yaml main

GitHub Actions · .github/workflows/gradle-check.yaml · Detected automatically on Nov 10, 2025
Paths for aya-prover/aya-dev/.github/workflows/extract-version.yaml main
Paths for aya-prover/aya-dev/.github/workflows/extract-version.yaml main
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
codecov/codecov-action 4.*.*

GitHub Actions · .github/workflows/gradle-check.yaml · Detected automatically on Nov 10, 2025
Paths for codecov/codecov-action 4.*.*
Paths for codecov/codecov-action 4.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
gradle/actions/setup-gradle 5.*.*

GitHub Actions · .github/workflows/gradle-check.yaml · Detected automatically on Nov 10, 2025
Paths for gradle/actions/setup-gradle 5.*.*
Paths for gradle/actions/setup-gradle 5.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
HoshinoTented/issue-tracker 1.*.*

GitHub Actions · .github/workflows/gradle-check.yaml · Detected automatically on Nov 10, 2025
Paths for HoshinoTented/issue-tracker 1.*.*
Paths for HoshinoTented/issue-tracker 1.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
mikepenz/action-junit-report 4.*.*

GitHub Actions · .github/workflows/gradle-check.yaml · Detected automatically on Nov 10, 2025
Paths for mikepenz/action-junit-report 4.*.*
Paths for mikepenz/action-junit-report 4.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
actions/cache/save 4.*.*

GitHub Actions · .github/workflows/nightly-build.yaml · Detected automatically on Nov 24, 2025
Paths for actions/cache/save 4.*.*
Paths for actions/cache/save 4.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
actions/checkout 4.*.*

GitHub Actions · .github/workflows/nightly-build.yaml · Detected automatically on Nov 24, 2025
Paths for actions/checkout 4.*.*
Paths for actions/checkout 4.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
actions/setup-java 4.*.*

GitHub Actions · .github/workflows/nightly-build.yaml · Detected automatically on Nov 24, 2025
Paths for actions/setup-java 4.*.*
Paths for actions/setup-java 4.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
aya-prover/aya-dev/.github/workflows/extract-version.yaml main

GitHub Actions · .github/workflows/nightly-build.yaml · Detected automatically on Nov 24, 2025
Paths for aya-prover/aya-dev/.github/workflows/extract-version.yaml main
Paths for aya-prover/aya-dev/.github/workflows/extract-version.yaml main
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
aya-prover/aya-dev/.github/workflows/issue-tracker.yaml main

GitHub Actions · .github/workflows/nightly-build.yaml · Detected automatically on Nov 24, 2025
Paths for aya-prover/aya-dev/.github/workflows/issue-tracker.yaml main
Paths for aya-prover/aya-dev/.github/workflows/issue-tracker.yaml main
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
gradle/gradle-build-action 3.*.*

GitHub Actions · .github/workflows/nightly-build.yaml · Detected automatically on Nov 24, 2025
Paths for gradle/gradle-build-action 3.*.*
Paths for gradle/gradle-build-action 3.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
Xotl/cool-github-releases 1.*.*

GitHub Actions · .github/workflows/nightly-build.yaml · Detected automatically on Nov 24, 2025
Paths for Xotl/cool-github-releases 1.*.*
Paths for Xotl/cool-github-releases 1.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
aya-prover/aya-dev/.github/actions/install-aya main

GitHub Actions · .github/workflows/issue-tracker.yaml · Detected automatically on Nov 10, 2025
Paths for aya-prover/aya-dev/.github/actions/install-aya main
Paths for aya-prover/aya-dev/.github/actions/install-aya main
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
HoshinoTented/issue-tracker 1.*.*

GitHub Actions · .github/workflows/issue-tracker.yaml · Detected automatically on Nov 10, 2025
Paths for HoshinoTented/issue-tracker 1.*.*
Paths for HoshinoTented/issue-tracker 1.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
actions/checkout 4.*.*

GitHub Actions · .github/workflows/nightly-build-nix.yaml · Detected automatically on Oct 29, 2025
Paths for actions/checkout 4.*.*
Paths for actions/checkout 4.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
nixbuild/nix-quick-install-action 34.*.*

GitHub Actions · .github/workflows/nightly-build-nix.yaml · Detected automatically on Oct 29, 2025
Paths for nixbuild/nix-quick-install-action 34.*.*
Paths for nixbuild/nix-quick-install-action 34.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive

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

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Dependency graph

Filter by ecosystem

Sorry, something went wrong.

No ecosystems found.

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Transitive

Insights: aya-prover/aya-dev

Dependency graph