Skip to content

Actions: dafny-lang/dafny

Actions

Build and Test Dafny Runtimes

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
runtime-tests.yml
2,882 workflow run results
2,882 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: Correct cast of EnclosingClass Build and Test Dafny Runtimes #6162: Pull request #4954 synchronize by atomb
January 9, 2024 23:56 3m 45s RustanLeino:fix-4952
RustanLeino:fix-4952
January 9, 2024 23:56 3m 45s
Jekyll on Actions Build and Test Dafny Runtimes #6161: Pull request #4967 synchronize by fabiomadge
January 9, 2024 23:30 3m 45s fabiomadge-patch-2
fabiomadge-patch-2
January 9, 2024 23:30 3m 45s
Jekyll on Actions Build and Test Dafny Runtimes #6160: Pull request #4967 opened by fabiomadge
January 9, 2024 23:24 3m 43s fabiomadge-patch-2
fabiomadge-patch-2
January 9, 2024 23:24 3m 43s
Improve reporting of related locations Build and Test Dafny Runtimes #6159: Pull request #4929 synchronize by keyboardDrummer
January 9, 2024 22:25 7m 43s keyboardDrummer:reportingRefactoring
keyboardDrummer:reportingRefactoring
January 9, 2024 22:25 7m 43s
Improve reporting of related locations Build and Test Dafny Runtimes #6158: Pull request #4929 synchronize by keyboardDrummer
January 9, 2024 22:24 4m 34s keyboardDrummer:reportingRefactoring
keyboardDrummer:reportingRefactoring
January 9, 2024 22:24 4m 34s
Lsp test failure debugging Build and Test Dafny Runtimes #6157: Pull request #4966 opened by atomb
January 9, 2024 21:32 3m 43s atomb:lsp-test-failure-debugging
atomb:lsp-test-failure-debugging
January 9, 2024 21:32 3m 43s
fix: Fix crash for lookup of non-existing member in new resolver Build and Test Dafny Runtimes #6156: Pull request #4955 synchronize by RustanLeino
January 9, 2024 21:05 3m 45s RustanLeino:issue-4953
RustanLeino:issue-4953
January 9, 2024 21:05 3m 45s
fix: Check for correct use of type characteristics in ghosts and default expressions Build and Test Dafny Runtimes #6155: Pull request #4928 synchronize by RustanLeino
January 9, 2024 20:10 3m 48s RustanLeino:fix-4926
RustanLeino:fix-4926
January 9, 2024 20:10 3m 48s
Bug fix for Issue 3766 Build and Test Dafny Runtimes #6154: Pull request #4694 synchronize by alex-chew
January 9, 2024 19:31 3m 52s issue3766
issue3766
January 9, 2024 19:31 3m 52s
Introduce --general-newtypes option Build and Test Dafny Runtimes #6153: Pull request #4932 synchronize by RustanLeino
January 9, 2024 18:35 3m 41s RustanLeino:nn3
RustanLeino:nn3
January 9, 2024 18:35 3m 41s
doc: Add instructions about how to install Rust Build and Test Dafny Runtimes #6152: Pull request #4933 synchronize by RustanLeino
January 9, 2024 17:56 15m 33s RustanLeino:add-rust-install-instructions
RustanLeino:add-rust-install-instructions
January 9, 2024 17:56 15m 33s
Introduce --general-newtypes option Build and Test Dafny Runtimes #6151: Pull request #4932 synchronize by RustanLeino
January 9, 2024 17:48 8m 16s RustanLeino:nn3
RustanLeino:nn3
January 9, 2024 17:48 8m 16s
fix: Check for correct use of type characteristics in ghosts and default expressions Build and Test Dafny Runtimes #6150: Pull request #4928 synchronize by RustanLeino
January 9, 2024 17:48 3m 46s RustanLeino:fix-4926
RustanLeino:fix-4926
January 9, 2024 17:48 3m 46s
Axiom warnings Build and Test Dafny Runtimes #6149: Pull request #3553 synchronize by keyboardDrummer
January 9, 2024 16:58 3m 40s keyboardDrummer:axiomWarning
keyboardDrummer:axiomWarning
January 9, 2024 16:58 3m 40s
Axiom warnings Build and Test Dafny Runtimes #6148: Pull request #3553 synchronize by keyboardDrummer
January 9, 2024 16:42 4m 2s keyboardDrummer:axiomWarning
keyboardDrummer:axiomWarning
January 9, 2024 16:42 4m 2s
Update documentation for Dafny server Build and Test Dafny Runtimes #6147: Pull request #4945 synchronize by keyboardDrummer
January 9, 2024 16:22 3m 58s keyboardDrummer:dafnyServerDocumentation
keyboardDrummer:dafnyServerDocumentation
January 9, 2024 16:22 3m 58s
Axiom warnings Build and Test Dafny Runtimes #6146: Pull request #3553 synchronize by keyboardDrummer
January 9, 2024 15:36 3m 50s keyboardDrummer:axiomWarning
keyboardDrummer:axiomWarning
January 9, 2024 15:36 3m 50s
Follow-up changes related to BoundedInts Build and Test Dafny Runtimes #6145: Pull request #4740 synchronize by keyboardDrummer
January 9, 2024 13:28 3m 43s keyboardDrummer:followUpBoundedInts
keyboardDrummer:followUpBoundedInts
January 9, 2024 13:28 3m 43s
Follow-up changes related to BoundedInts Build and Test Dafny Runtimes #6144: Pull request #4740 synchronize by keyboardDrummer
January 9, 2024 13:28 27s keyboardDrummer:followUpBoundedInts
keyboardDrummer:followUpBoundedInts
January 9, 2024 13:28 27s
Add a link to the documentation Build and Test Dafny Runtimes #6143: Pull request #4959 opened by keyboardDrummer
January 9, 2024 12:33 4m 34s keyboardDrummer:decreasesDocumentation
keyboardDrummer:decreasesDocumentation
January 9, 2024 12:33 4m 34s
fix: Fix parsing error and a crash with non-reference-trait base type Build and Test Dafny Runtimes #6142: Pull request #4956 synchronize by RustanLeino
January 9, 2024 01:45 6m 32s RustanLeino:issue-4946
RustanLeino:issue-4946
January 9, 2024 01:45 6m 32s
fix: Fix parsing error and a crash with non-reference-trait base type Build and Test Dafny Runtimes #6141: Pull request #4956 opened by RustanLeino
January 9, 2024 01:42 2m 45s RustanLeino:issue-4946
RustanLeino:issue-4946
January 9, 2024 01:42 2m 45s
Fix: Ability to cast a datatype to its trait when overriding functions Build and Test Dafny Runtimes #6140: Pull request #4824 synchronize by MikaelMayer
January 9, 2024 01:03 24m 24s fix-4823-general-traits-bug-extends
fix-4823-general-traits-bug-extends
January 9, 2024 01:03 24m 24s
Fix: Ability to cast a datatype to its trait when overriding functions Build and Test Dafny Runtimes #6139: Pull request #4824 synchronize by MikaelMayer
January 9, 2024 01:03 22s fix-4823-general-traits-bug-extends
fix-4823-general-traits-bug-extends
January 9, 2024 01:03 22s
fix: Fix crash for lookup of non-existing member in new resolver Build and Test Dafny Runtimes #6138: Pull request #4955 synchronize by RustanLeino
January 9, 2024 00:55 22m 21s RustanLeino:issue-4953
RustanLeino:issue-4953
January 9, 2024 00:55 22m 21s