-
Notifications
You must be signed in to change notification settings - Fork 260
Insights: dafny-lang/dafny
Dependency graph
245 Total
- NuGet · Source/XUnitExtensions/XUnitExtensions.csproj · Detected automatically on Mar 10, 2023 · MIT
- Microsoft.NET.Test.Sdk 16.9.4
- xunit 2.4.2
- NuGet · Source/XUnitExtensions/XUnitExtensions.csproj · Detected automatically on Mar 10, 2023 · MIT
- Xunit.SkippableFact 1.4.8
- actions/checkout 4.*.*
- GitHub Actions · .github/workflows/msbuild.yml · Detected automatically on Aug 15, 2024
- actions/setup-dotnet 4.*.*
- actions/upload-artifact 4.*.*
- GitHub Actions · .github/workflows/msbuild.yml · Detected automatically on Aug 15, 2024
- actions/checkout 4.*.*
- actions/setup-dotnet 4.*.*
- actions/upload-artifact 4.*.*
- wtfjoke/setup-tectonic 3.*.*
- actions/setup-java 4.*.*
- GitHub Actions · .github/workflows/release-downloads.yml · Detected automatically on Jul 05, 2024
- GitHub Actions · .github/workflows/test-report.yml · Detected automatically on Oct 23, 2023
- GitHub Actions · .github/workflows/test-report.yml · Detected automatically on Oct 23, 2023
- actions/setup-python 5.*.*
- actions/checkout 4.*.*