Daily soak test workflow · Workflow runs · dafny-lang/dafny · GitHub

Actions

All workflows
Workflows
- .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

Daily soak test workflow

Actions

Loading...
Loading

daily-soak-test-build.yml

7 workflow run results

7 workflow run results

Daily soak test workflow Daily soak test workflow #138: Scheduled

12m 41s master

master

12m 41s

Daily soak test workflow Daily soak test workflow #137: Scheduled

12m 28s master

master

12m 28s

Daily soak test workflow Daily soak test workflow #136: Scheduled

12m 22s master

master

12m 22s

Daily soak test workflow Daily soak test workflow #135: Scheduled

12m 31s master

master

12m 31s

Daily soak test workflow Daily soak test workflow #134: Scheduled

13m 1s master

master

13m 1s

Daily soak test workflow Daily soak test workflow #133: Scheduled

11m 36s master

master

11m 36s

Daily soak test workflow Daily soak test workflow #132: Scheduled

14m 8s master

master

14m 8s