Check Deep Tests (Reusable Workflow) · Workflow runs · prosyslab/dafny · GitHub

Actions

All workflows
Workflows
- 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)
- Integration Tests (Reusable Workflow) Integration Tests (Reusable Workflow)
- Nightly test and release workflow (Manual trigger) Nightly test and release workflow (Manual trigger)
- Nightly test and release workflow (Reusable Workflow) Nightly test and release workflow (Reusable Workflow)
- Publish Draft Release Publish Draft Release
- Publish Release Publish Release
Management
- Caches

Check Deep Tests (Reusable Workflow)

Actions

Loading...
Loading

check-deep-tests-reusable.yml

1 workflow run

1 workflow run

Check Deep Tests (Reusable Workflow) Check Deep Tests (Reusable Workflow) #1: Manually run by duncan020313

9s master

master

9s