Test NuGet Packages · Workflow runs · dafny-lang/dafny · GitHub

Actions

All workflows
Workflows
- Test NuGet Packages Test NuGet Packages
- .github/workflows/publish-release-reusable.yml .github/workflows/publish-release-reusable.yml
- Build and Test Build and Test
- Build and Test Dafny Runtimes Build and Test Dafny Runtimes
- Build and Test Dafny Standard Libraries Build and Test Dafny Standard Libraries
- Build DafnyRef.pdf Build DafnyRef.pdf
- Check Deep Tests (Reusable Workflow) Check Deep Tests (Reusable Workflow)
- Daily soak test workflow Daily soak test workflow
- Dependabot Updates Dependabot Updates
- Deploy Jekyll site to Pages Deploy Jekyll site to Pages
- Integration Tests (Reusable Workflow) Integration Tests (Reusable Workflow)
Management
- Caches
- Deployments

Test NuGet Packages

Actions

Loading...
Loading

release-downloads-nuget.yml

6 workflow runs

6 workflow runs

Dafny 4.11.0 Test NuGet Packages #74: Release v4.11.0 published by MikaelMayer

2m 9s

2m 9s

Test NuGet Packages Test NuGet Packages #73: Manually run by fabiomadge

24m 12s chore/fix-windows-ci-targets

chore/fix-windows-ci-targets

24m 12s

Dafny 4.10.0 Test NuGet Packages #72: Release v4.10.0 published by MikaelMayer

2m 10s

2m 10s

Dafny 4.9.1 Test NuGet Packages #71: Release v4.9.1 published by MikaelMayer

1m 48s

1m 48s

Dafny 4.9.0 Test NuGet Packages #70: Release v4.9.0 published by MikaelMayer

2m 0s

2m 0s

Dafny 4.8.1 Test NuGet Packages #69: Release v4.8.1 published by keyboardDrummer

2m 10s

2m 10s