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

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

5 workflow runs

5 workflow runs

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

9s master

master

9s

Build DafnyRef.pdf Build DafnyRef.pdf #1: Manually run by duncan020313

8s master

master

8s

Build and Test Dafny Runtimes Build and Test Dafny Runtimes #1: Manually run by duncan020313

9s master

master

9s

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

8s master

master

8s

Build and Test Build and Test #1: Manually run by duncan020313

9s master

master

9s