-
Notifications
You must be signed in to change notification settings - Fork 9
Insights: leanprover/lean-action
Dependency graph
5 Total
- GitHub Actions · .github/workflows/actionlint.yml · Detected automatically on Sep 07, 2025actions/checkout 5.*.*
- GitHub Actions · .github/workflows/actionlint.yml · Detected automatically on Sep 07, 2025raven-actions/actionlint 2.*.*
- GitHub Actions · .github/workflows/shellcheck.yml · Detected automatically on Sep 07, 2025actions/checkout 5.*.*
- GitHub Actions · .github/workflows/shellcheck.yml · Detected automatically on Sep 07, 2025azohra/shell-linter 0.8.0
- GitHub Actions · .github/workflows/functional_tests.yml · Detected automatically on Dec 24, 2025actions/checkout 5.*.*
ProTip!
Supported ecosystems will have transitivity labels on their packages.