Build and Test Dafny Runtimes

Actions

Build and Test Dafny Runtimes

Actions

Loading...
Loading

2,882 workflow run results

fix: Fix crash for lookup of non-existing member in new resolver Build and Test Dafny Runtimes #6137: Pull request #4955 opened by RustanLeino

January 9, 2024 00:54

41s RustanLeino:issue-4953

RustanLeino:issue-4953

January 9, 2024 00:54

41s

Add script to run Boogie with the args Dafny uses Build and Test Dafny Runtimes #6136: Pull request #4492 synchronize by atomb

January 9, 2024 00:41

3m 46s atomb:boogie-script

atomb:boogie-script

January 9, 2024 00:41

3m 46s

fix: Correct cast of EnclosingClass Build and Test Dafny Runtimes #6135: Pull request #4954 synchronize by RustanLeino

January 9, 2024 00:39

34m 45s RustanLeino:fix-4952

RustanLeino:fix-4952

January 9, 2024 00:39

34m 45s

fix: Correct cast of EnclosingClass Build and Test Dafny Runtimes #6134: Pull request #4954 synchronize by RustanLeino

January 9, 2024 00:39

11s RustanLeino:fix-4952

RustanLeino:fix-4952

January 9, 2024 00:39

11s

fix: Correct cast of EnclosingClass Build and Test Dafny Runtimes #6133: Pull request #4954 opened by RustanLeino

January 9, 2024 00:37

3m 45s RustanLeino:fix-4952

RustanLeino:fix-4952

January 9, 2024 00:37

3m 45s

chore(deps): bump actions/upload-artifact and actions/download-artifact from 3 to 4 Build and Test Dafny Runtimes #6132: Pull request #4899 synchronize by dependabot bot

January 9, 2024 00:16

3m 33s dependabot/github_actions/actions/upload-artifact-4

dependabot/github_actions/actions/upload-artifact-4

January 9, 2024 00:16

3m 33s

Fix bug in check deep tests script Build and Test Dafny Runtimes #6131: Pull request #4941 synchronize by keyboardDrummer

January 8, 2024 23:38

3m 35s keyboardDrummer:fixCheckForWorkflowRuns

keyboardDrummer:fixCheckForWorkflowRuns

January 8, 2024 23:38

3m 35s

Fix: Ability to cast a datatype to its trait when overriding functions Build and Test Dafny Runtimes #6130: Pull request #4824 synchronize by MikaelMayer

January 8, 2024 23:30

3m 59s fix-4823-general-traits-bug-extends

fix-4823-general-traits-bug-extends

January 8, 2024 23:30

3m 59s

fix: Check for correct use of type characteristics in ghosts and default expressions Build and Test Dafny Runtimes #6129: Pull request #4928 synchronize by RustanLeino

January 8, 2024 22:00

3m 46s RustanLeino:fix-4926

RustanLeino:fix-4926

January 8, 2024 22:00

3m 46s

Support logging verification results in JSON Build and Test Dafny Runtimes #6128: Pull request #4951 synchronize by atomb

January 8, 2024 20:02

3m 54s atomb:json-verification-logger

atomb:json-verification-logger

January 8, 2024 20:02

3m 54s

Support logging verification results in JSON Build and Test Dafny Runtimes #6127: Pull request #4951 opened by atomb

January 8, 2024 19:35

3m 48s atomb:json-verification-logger

atomb:json-verification-logger

January 8, 2024 19:35

3m 48s

Add script to run Boogie with the args Dafny uses Build and Test Dafny Runtimes #6126: Pull request #4492 synchronize by atomb

January 8, 2024 17:17

4m 53s atomb:boogie-script

atomb:boogie-script

January 8, 2024 17:17

4m 53s

Fix bug in check deep tests script Build and Test Dafny Runtimes #6125: Pull request #4941 synchronize by keyboardDrummer

January 8, 2024 15:49

3m 38s keyboardDrummer:fixCheckForWorkflowRuns

keyboardDrummer:fixCheckForWorkflowRuns

January 8, 2024 15:49

3m 38s

Fix: Formatting on the command line works again Build and Test Dafny Runtimes #6124: Pull request #4950 synchronize by MikaelMayer

January 8, 2024 14:34

33m 3s fixed-formatter-cli

fixed-formatter-cli

January 8, 2024 14:34

33m 3s

Fix: Formatting on the command line works again Build and Test Dafny Runtimes #6123: Pull request #4950 synchronize by MikaelMayer

January 8, 2024 14:33

30m 28s fixed-formatter-cli

fixed-formatter-cli

January 8, 2024 14:33

30m 28s

Fix: Ability to cast a datatype to its trait when overriding functions Build and Test Dafny Runtimes #6122: Pull request #4824 synchronize by MikaelMayer

January 8, 2024 12:45

4m 48s fix-4823-general-traits-bug-extends

fix-4823-general-traits-bug-extends

January 8, 2024 12:45

4m 48s

Fix: Formatting on the command line works again Build and Test Dafny Runtimes #6121: Pull request #4950 synchronize by MikaelMayer

January 8, 2024 12:44

17m 4s fixed-formatter-cli

fixed-formatter-cli

January 8, 2024 12:44

17m 4s

Fix: Formatting on the command line works again Build and Test Dafny Runtimes #6120: Pull request #4950 opened by MikaelMayer

January 8, 2024 12:42

3m 58s fixed-formatter-cli

fixed-formatter-cli

January 8, 2024 12:42

3m 58s

Fix: Formatting on VSCode for multi-file projects with project file Build and Test Dafny Runtimes #6119: Pull request #4918 synchronize by MikaelMayer

January 8, 2024 11:50

8m 27s fixed-formatter

fixed-formatter

January 8, 2024 11:50

8m 27s

Fix: Formatting on VSCode for multi-file projects with project file Build and Test Dafny Runtimes #6118: Pull request #4918 synchronize by MikaelMayer

January 8, 2024 11:50

3m 35s fixed-formatter

fixed-formatter

January 8, 2024 11:50

3m 35s

Fix: Formatting on VSCode for multi-file projects with project file Build and Test Dafny Runtimes #6117: Pull request #4918 synchronize by MikaelMayer

January 8, 2024 11:44

3m 43s fixed-formatter

fixed-formatter

January 8, 2024 11:44

3m 43s

fix: Check for correct use of type characteristics in ghosts and default expressions Build and Test Dafny Runtimes #6116: Pull request #4928 synchronize by RustanLeino

January 6, 2024 01:14

5m 23s RustanLeino:fix-4926

RustanLeino:fix-4926

January 6, 2024 01:14

5m 23s

fix: Check for correct use of type characteristics in ghosts and default expressions Build and Test Dafny Runtimes #6115: Pull request #4928 synchronize by RustanLeino

January 6, 2024 00:14

4m 5s RustanLeino:fix-4926

RustanLeino:fix-4926

January 6, 2024 00:14

4m 5s

Update documentation for Dafny server Build and Test Dafny Runtimes #6114: Pull request #4945 opened by keyboardDrummer

January 5, 2024 15:55

3m 40s keyboardDrummer:dafnyServerDocumentation

keyboardDrummer:dafnyServerDocumentation

January 5, 2024 15:55

3m 40s

Introduce code generator name Build and Test Dafny Runtimes #6113: Pull request #4944 synchronize by keyboardDrummer

January 5, 2024 15:15

5m 56s keyboardDrummer:introduceCodeGeneratorName

keyboardDrummer:introduceCodeGeneratorName

January 5, 2024 15:15

5m 56s

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Actions

Workflows

Management