Build and Test · Workflow runs · dafny-lang/dafny

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)
- CompFuzzCI CompFuzzCI
- Daily soak test workflow Daily soak test workflow
- Dependabot Updates Dependabot Updates
- Deploy Jekyll site to Pages Deploy Jekyll site to Pages
Management
- Caches
- Deployments

Build and Test

Actions

Loading...
Loading

Showing runs from all workflows named Build and Test

7,908 workflow run results

Feat memory locations referrers Build and Test #21406: Pull request #6293 synchronize by MikaelMayer

September 16, 2025 20:22

32m 30s feat-memory-locations-referrers

feat-memory-locations-referrers

September 16, 2025 20:22

32m 30s

Feat memory locations referrers Build and Test Dafny Standard Libraries #5672: Pull request #6293 synchronize by MikaelMayer

September 16, 2025 20:22

3m 43s feat-memory-locations-referrers

feat-memory-locations-referrers

September 16, 2025 20:22

3m 43s

Feat memory locations referrers Build and Test Dafny Runtimes #10943: Pull request #6293 synchronize by MikaelMayer

September 16, 2025 20:22

4m 13s feat-memory-locations-referrers

feat-memory-locations-referrers

September 16, 2025 20:22

4m 13s

Feat memory locations referrers Build and Test Dafny Runtimes #10942: Pull request #6293 synchronize by MikaelMayer

September 16, 2025 18:07

3m 59s feat-memory-locations-referrers

feat-memory-locations-referrers

September 16, 2025 18:07

3m 59s

Feat memory locations referrers Build and Test Dafny Standard Libraries #5671: Pull request #6293 synchronize by MikaelMayer

September 16, 2025 18:07

5m 33s feat-memory-locations-referrers

feat-memory-locations-referrers

September 16, 2025 18:07

5m 33s

Feat memory locations referrers Build and Test #21405: Pull request #6293 synchronize by MikaelMayer

September 16, 2025 18:07

23m 43s feat-memory-locations-referrers

feat-memory-locations-referrers

September 16, 2025 18:07

23m 43s

Feat memory locations referrers Build and Test #21404: Pull request #6293 synchronize by MikaelMayer

September 15, 2025 19:15

23m 20s feat-memory-locations-referrers

feat-memory-locations-referrers

September 15, 2025 19:15

23m 20s

Feat memory locations referrers Build and Test Dafny Runtimes #10941: Pull request #6293 synchronize by MikaelMayer

September 15, 2025 19:15

3m 55s feat-memory-locations-referrers

feat-memory-locations-referrers

September 15, 2025 19:15

3m 55s

Feat memory locations referrers Build and Test Dafny Standard Libraries #5670: Pull request #6293 synchronize by MikaelMayer

September 15, 2025 19:15

5m 13s feat-memory-locations-referrers

feat-memory-locations-referrers

September 15, 2025 19:15

5m 13s

Feat memory locations referrers Build and Test Dafny Runtimes #10940: Pull request #6293 reopened by MikaelMayer

September 15, 2025 17:55

4m 0s feat-memory-locations-referrers

feat-memory-locations-referrers

September 15, 2025 17:55

4m 0s

Feat memory locations referrers Build and Test Dafny Standard Libraries #5669: Pull request #6293 reopened by MikaelMayer

September 15, 2025 17:55

6m 55s feat-memory-locations-referrers

feat-memory-locations-referrers

September 15, 2025 17:55

6m 55s

Feat memory locations referrers Build and Test #21403: Pull request #6293 reopened by MikaelMayer

September 15, 2025 17:55

23m 48s feat-memory-locations-referrers

feat-memory-locations-referrers

September 15, 2025 17:55

23m 48s

Remove internal flag from Rust compiler and optimize test coverage Build and Test #21402: Pull request #6359 synchronize by MikaelMayer

September 15, 2025 16:32

11s rust-compiler-not-internal

rust-compiler-not-internal

September 15, 2025 16:32

11s

Remove internal flag from Rust compiler and optimize test coverage Build and Test Dafny Runtimes #10939: Pull request #6359 synchronize by MikaelMayer

September 15, 2025 16:32

12s rust-compiler-not-internal

rust-compiler-not-internal

September 15, 2025 16:32

12s

Remove internal flag from Rust compiler and optimize test coverage Build and Test Dafny Standard Libraries #5668: Pull request #6359 synchronize by MikaelMayer

September 15, 2025 16:32

8s rust-compiler-not-internal

rust-compiler-not-internal

September 15, 2025 16:32

Feat memory locations referrers Build and Test Dafny Runtimes #10938: Pull request #6293 synchronize by MikaelMayer

September 15, 2025 16:30

10s feat-memory-locations-referrers

feat-memory-locations-referrers

September 15, 2025 16:30

10s

Feat memory locations referrers Build and Test Dafny Standard Libraries #5667: Pull request #6293 synchronize by MikaelMayer

September 15, 2025 16:30

10s feat-memory-locations-referrers

feat-memory-locations-referrers

September 15, 2025 16:30

10s

Feat memory locations referrers Build and Test #21401: Pull request #6293 synchronize by MikaelMayer

September 15, 2025 16:30

14s feat-memory-locations-referrers

feat-memory-locations-referrers

September 15, 2025 16:30

14s

Class/Trait Invariants Build and Test #21400: Pull request #6313 synchronize by ssomayyajula

September 14, 2025 21:27

17s feat-invariants-smart

feat-invariants-smart

September 14, 2025 21:27

17s

Class/Trait Invariants Build and Test Dafny Standard Libraries #5666: Pull request #6313 synchronize by ssomayyajula

September 14, 2025 21:27

12s feat-invariants-smart

feat-invariants-smart

September 14, 2025 21:27

12s

Class/Trait Invariants Build and Test Dafny Runtimes #10937: Pull request #6313 synchronize by ssomayyajula

September 14, 2025 21:27

9s feat-invariants-smart

feat-invariants-smart

September 14, 2025 21:27

Class/Trait Invariants Build and Test Dafny Runtimes #10936: Pull request #6313 synchronize by ssomayyajula

September 14, 2025 21:20

8s feat-invariants-smart

feat-invariants-smart

September 14, 2025 21:20

Class/Trait Invariants Build and Test Dafny Standard Libraries #5665: Pull request #6313 synchronize by ssomayyajula

September 14, 2025 21:20

10s feat-invariants-smart

feat-invariants-smart

September 14, 2025 21:20

10s

Class/Trait Invariants Build and Test #21399: Pull request #6313 synchronize by ssomayyajula

September 14, 2025 21:20

11s feat-invariants-smart

feat-invariants-smart

September 14, 2025 21:20

11s

fix(python): add __bytes__ and __iter__ to Seq for effiecient bytes conversion Build and Test Dafny Runtimes #10935: Pull request #6362 opened by imabhichow

September 12, 2025 23:56

Action required imabhichow:imabhichow/dafny-runtime-optimization

imabhichow:imabhichow/dafny-runtime-optimization

September 12, 2025 23:56

Action required

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Actions

Workflows

Management

Build and Test

Actions

Loading...
Loading

All workflows

Uh oh!

Filter by Event

Sorry, something went wrong.

Sorry, something went wrong.

No matching events.

Filter by Status

Sorry, something went wrong.

Sorry, something went wrong.

No matching statuses.

Filter by Branch

Sorry, something went wrong.

Sorry, something went wrong.

No matching branches.

Filter by Actor

Sorry, something went wrong.

Sorry, something went wrong.

No matching users.

Actions: dafny-lang/dafny

Actions

Build and Test All workflows Actions Loading... Loading Sorry, something went wrong. Uh oh! There was an error while loading. Please reload this page.

All workflows

Build and Test

Actions

Loading...
Loading