Build and Test Dafny Standard Libraries · 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

Build and Test Dafny Standard Libraries

Actions

Loading...
Loading

standard-libraries.yml

1 workflow run

1 workflow run

Build and Test Dafny Standard Libraries Build and Test Dafny Standard Libraries #1: Manually run by duncan020313

8s master

master

8s