-
Notifications
You must be signed in to change notification settings - Fork 171
Insights: agda/cubical
Dependency graph
6 Total
- GitHub Actions · .github/workflows/ci-ubuntu.yml · Detected automatically on Jul 30, 2025actions/cache/restore 4.*.*
- GitHub Actions · .github/workflows/ci-ubuntu.yml · Detected automatically on Jul 30, 2025actions/cache/save 4.*.*
- GitHub Actions · .github/workflows/ci-ubuntu.yml · Detected automatically on Jul 30, 2025actions/checkout 4.*.*
-
GitHub Actions
·
.github/workflows/ci-ubuntu.yml
·
Detected automatically on Jul 30, 2025
- GitHub Actions · .github/workflows/ci-ubuntu.yml · Detected automatically on Jul 30, 2025haskell-actions/setup 2.*.*
-
GitHub Actions
·
.github/workflows/ci-ubuntu.yml
·
Detected automatically on Jul 30, 2025
ProTip!
Supported ecosystems will have transitivity labels on their packages.