-
Notifications
You must be signed in to change notification settings - Fork 4
Insights: dafny-lang/dafny-reportgenerator
Dependency graph
10 Total
- Detected automatically on Jul 13, 2022 (NuGet) · src/dafny-reportgenerator.csprojdafny.msbuild 1.0.0
- Detected automatically on Jul 13, 2022 (NuGet) · src/dafny-reportgenerator.csproj · MIT
- Detected automatically on Feb 17, 2023 (GitHub Actions) · .github/workflows/build-and-test.yml
- Detected automatically on Feb 17, 2023 (GitHub Actions) · .github/workflows/build-and-test.yml
- Detected automatically on Feb 17, 2023 (GitHub Actions) · .github/workflows/build-and-test.yml
- Detected automatically on Jun 30, 2022 (NuGet) · test/dafny-reportgenerator-test.csproj · MITcoverlet.collector 3.1.0
- Detected automatically on Jun 30, 2022 (NuGet) · test/dafny-reportgenerator-test.csprojdafny.msbuild 1.0.0
- Detected automatically on Jun 30, 2022 (NuGet) · test/dafny-reportgenerator-test.csproj · OTHERMicrosoft.NET.Test.Sdk 16.11.0
- Detected automatically on Jun 30, 2022 (NuGet) · test/dafny-reportgenerator-test.csproj · Apache-2.0xunit 2.4.1
- Detected automatically on Jun 30, 2022 (NuGet) · test/dafny-reportgenerator-test.csproj · MIT