Dependencies · leanprover/lean4

Dependency graph

44 Total

actions/checkout 5.*.*

GitHub Actions · .github/workflows/ci.yml · Detected automatically on Dec 14, 2025
Paths for actions/checkout 5.*.*
Paths for actions/checkout 5.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
actions/download-artifact 6.*.*

GitHub Actions · .github/workflows/ci.yml · Detected automatically on Dec 14, 2025
Paths for actions/download-artifact 6.*.*
Paths for actions/download-artifact 6.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
actions/github-script 8.*.*

GitHub Actions · .github/workflows/ci.yml · Detected automatically on Dec 14, 2025
Paths for actions/github-script 8.*.*
Paths for actions/github-script 8.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
softprops/action-gh-release 6da8fa9354ddfdc4aeace5fc48d7f679b5214090

GitHub Actions · .github/workflows/ci.yml · Detected automatically on Dec 14, 2025
Paths for softprops/action-gh-release 6da8fa9354ddfdc4aeace5fc48d7f679b5214090
Paths for softprops/action-gh-release 6da8fa9354ddfdc4aeace5fc48d7f679b5214090
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
zulip/github-actions-zulip/send-message 1.*.*

GitHub Actions · .github/workflows/ci.yml · Detected automatically on Dec 14, 2025
Paths for zulip/github-actions-zulip/send-message 1.*.*
Paths for zulip/github-actions-zulip/send-message 1.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
actions/github-script 8.*.*

GitHub Actions · .github/workflows/labels-from-comments.yml · Detected automatically on Oct 07, 2025
Paths for actions/github-script 8.*.*
Paths for actions/github-script 8.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
actions/checkout 5.*.*

GitHub Actions · .github/workflows/pr-release.yml · Detected automatically on Dec 17, 2025
Paths for actions/checkout 5.*.*
Paths for actions/checkout 5.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
actions/github-script 8.*.*

GitHub Actions · .github/workflows/pr-release.yml · Detected automatically on Dec 17, 2025
Paths for actions/github-script 8.*.*
Paths for actions/github-script 8.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
dawidd6/action-download-artifact 11.*.*

GitHub Actions · .github/workflows/pr-release.yml · Detected automatically on Dec 17, 2025
Paths for dawidd6/action-download-artifact 11.*.*
Paths for dawidd6/action-download-artifact 11.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
dcarbone/install-jq-action 3.2.0

GitHub Actions · .github/workflows/pr-release.yml · Detected automatically on Dec 17, 2025
Paths for dcarbone/install-jq-action 3.2.0
Paths for dcarbone/install-jq-action 3.2.0
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
potiuk/get-workflow-origin v1_1

GitHub Actions · .github/workflows/pr-release.yml · Detected automatically on Dec 17, 2025
Paths for potiuk/get-workflow-origin v1_1
Paths for potiuk/get-workflow-origin v1_1
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
softprops/action-gh-release 6da8fa9354ddfdc4aeace5fc48d7f679b5214090

GitHub Actions · .github/workflows/pr-release.yml · Detected automatically on Dec 17, 2025
Paths for softprops/action-gh-release 6da8fa9354ddfdc4aeace5fc48d7f679b5214090
Paths for softprops/action-gh-release 6da8fa9354ddfdc4aeace5fc48d7f679b5214090
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
actions/stale 10.*.*

GitHub Actions · .github/workflows/stale.yml · Detected automatically on Oct 07, 2025
Paths for actions/stale 10.*.*
Paths for actions/stale 10.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
tibdex/backport 2

GitHub Actions · .github/workflows/backport.yml · Detected automatically on Sep 25, 2023
Paths for tibdex/backport 2
Paths for tibdex/backport 2
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
actions/github-script 8.*.*

GitHub Actions · .github/workflows/pr-title.yml · Detected automatically on Oct 31, 2025
Paths for actions/github-script 8.*.*
Paths for actions/github-script 8.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
actions/cache/restore 4.*.*

GitHub Actions · .github/workflows/update-stage0.yml · Detected automatically on Sep 26, 2025
Paths for actions/cache/restore 4.*.*
Paths for actions/cache/restore 4.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
actions/checkout 5.*.*

GitHub Actions · .github/workflows/update-stage0.yml · Detected automatically on Sep 26, 2025
Paths for actions/checkout 5.*.*
Paths for actions/checkout 5.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
DeterminateSystems/nix-installer-action main

GitHub Actions · .github/workflows/update-stage0.yml · Detected automatically on Sep 26, 2025
Paths for DeterminateSystems/nix-installer-action main
Paths for DeterminateSystems/nix-installer-action main
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
actions/checkout 5.*.*

GitHub Actions · .github/workflows/actionlint.yml · Detected automatically on Sep 09, 2025
Paths for actions/checkout 5.*.*
Paths for actions/checkout 5.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive
raven-actions/actionlint 2.*.*

GitHub Actions · .github/workflows/actionlint.yml · Detected automatically on Sep 09, 2025
Paths for raven-actions/actionlint 2.*.*
Paths for raven-actions/actionlint 2.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive

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

Previous 1 2 3 Next

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

Search code, repositories, users, issues, pull requests...

Insights: leanprover/lean4

Dependency graph