Dependencies · draperlaboratory/ELFSage · GitHub

Dependency graph

2 Total

actions/checkout 4.*.*

GitHub Actions · .github/workflows/ci.yml · Detected automatically on Oct 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
leanprover/lean-action 1.*.*

GitHub Actions · .github/workflows/ci.yml · Detected automatically on Oct 08, 2024
Paths for leanprover/lean-action 1.*.*
Paths for leanprover/lean-action 1.*.*
Showing 0 paths. Export SBOM to view all paths. Learn more about SBOMS.

Transitive