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
4,751 workflow runs
4,751 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: Account for the optional equality support of map/seq inside newtypes Build and Test Dafny Runtimes #9331: Pull request #5980 synchronize by MikaelMayer
December 13, 2024 20:01 5m 15s RustanLeino:issue-5972-addendum
RustanLeino:issue-5972-addendum
December 13, 2024 20:01 5m 15s
No nesting inside RangeToken.StartToken Build and Test Dafny Runtimes #9330: Pull request #5976 synchronize by keyboardDrummer
December 13, 2024 18:12 5m 28s keyboardDrummer:noNestingInsideRangeToken
keyboardDrummer:noNestingInsideRangeToken
December 13, 2024 18:12 5m 28s
Standard libraries and separate compilation Build and Test Dafny Runtimes #9329: Pull request #5981 synchronize by keyboardDrummer
December 13, 2024 12:33 5m 21s keyboardDrummer:standardLibrariesAndSeparateCompilation
keyboardDrummer:standardLibrariesAndSeparateCompilation
December 13, 2024 12:33 5m 21s
Standard libraries and separate compilation Build and Test Dafny Runtimes #9328: Pull request #5981 opened by keyboardDrummer
December 13, 2024 12:21 5m 13s keyboardDrummer:standardLibrariesAndSeparateCompilation
keyboardDrummer:standardLibrariesAndSeparateCompilation
December 13, 2024 12:21 5m 13s
fix: Account for the optional equality support of map/seq inside newtypes Build and Test Dafny Runtimes #9327: Pull request #5980 opened by RustanLeino
December 12, 2024 23:28 2m 49s RustanLeino:issue-5972-addendum
RustanLeino:issue-5972-addendum
December 12, 2024 23:28 2m 49s
Fix: General newtypes now support conditional equality Build and Test Dafny Runtimes #9326: Pull request #5979 opened by MikaelMayer
December 12, 2024 23:24 5m 21s fix-5978-general-newtypes-not-supporting-equality-sound-way
fix-5978-general-newtypes-not-supporting-equality-sound-way
December 12, 2024 23:24 5m 21s
Can call merge Build and Test Dafny Runtimes #9325: Pull request #5977 synchronize by typerSniper
December 12, 2024 19:35 4m 50s typerSniper:can-call-merge
typerSniper:can-call-merge
December 12, 2024 19:35 4m 50s
Can call merge Build and Test Dafny Runtimes #9324: Pull request #5977 synchronize by typerSniper
December 12, 2024 19:27 6m 59s typerSniper:can-call-merge
typerSniper:can-call-merge
December 12, 2024 19:27 6m 59s
Can call merge Build and Test Dafny Runtimes #9323: Pull request #5977 synchronize by typerSniper
December 12, 2024 19:24 5m 0s typerSniper:can-call-merge
typerSniper:can-call-merge
December 12, 2024 19:24 5m 0s
No nesting inside RangeToken.StartToken Build and Test Dafny Runtimes #9322: Pull request #5976 synchronize by keyboardDrummer
December 12, 2024 16:54 10m 54s keyboardDrummer:noNestingInsideRangeToken
keyboardDrummer:noNestingInsideRangeToken
December 12, 2024 16:54 10m 54s
No nesting inside RangeToken.StartToken Build and Test Dafny Runtimes #9321: Pull request #5976 synchronize by keyboardDrummer
December 12, 2024 16:54 5m 50s keyboardDrummer:noNestingInsideRangeToken
keyboardDrummer:noNestingInsideRangeToken
December 12, 2024 16:54 5m 50s
Fixes related to the library options and project files Build and Test Dafny Runtimes #9320: Pull request #5947 synchronize by keyboardDrummer
December 12, 2024 16:36 10m 50s keyboardDrummer:dafnyOptionsFixes
keyboardDrummer:dafnyOptionsFixes
December 12, 2024 16:36 10m 50s
Fixes related to the library options and project files Build and Test Dafny Runtimes #9319: Pull request #5947 synchronize by keyboardDrummer
December 12, 2024 16:36 5m 29s keyboardDrummer:dafnyOptionsFixes
keyboardDrummer:dafnyOptionsFixes
December 12, 2024 16:36 5m 29s
Can call merge Build and Test Dafny Runtimes #9318: Pull request #5977 synchronize by typerSniper
December 12, 2024 16:25 4m 37s typerSniper:can-call-merge
typerSniper:can-call-merge
December 12, 2024 16:25 4m 37s
Can call merge Build and Test Dafny Runtimes #9317: Pull request #5977 synchronize by typerSniper
December 12, 2024 16:08 2m 24s typerSniper:can-call-merge
typerSniper:can-call-merge
December 12, 2024 16:08 2m 24s
No nesting inside RangeToken.StartToken Build and Test Dafny Runtimes #9316: Pull request #5976 synchronize by keyboardDrummer
December 12, 2024 15:35 5m 40s keyboardDrummer:noNestingInsideRangeToken
keyboardDrummer:noNestingInsideRangeToken
December 12, 2024 15:35 5m 40s
Fixes related to the library options and project files Build and Test Dafny Runtimes #9315: Pull request #5947 synchronize by keyboardDrummer
December 12, 2024 13:58 5m 31s keyboardDrummer:dafnyOptionsFixes
keyboardDrummer:dafnyOptionsFixes
December 12, 2024 13:58 5m 31s
No nesting inside RangeToken.StartToken Build and Test Dafny Runtimes #9314: Pull request #5976 synchronize by keyboardDrummer
December 12, 2024 13:32 5m 41s keyboardDrummer:noNestingInsideRangeToken
keyboardDrummer:noNestingInsideRangeToken
December 12, 2024 13:32 5m 41s
Fixes related to the library options and project files Build and Test Dafny Runtimes #9313: Pull request #5947 synchronize by keyboardDrummer
December 12, 2024 12:56 5m 30s keyboardDrummer:dafnyOptionsFixes
keyboardDrummer:dafnyOptionsFixes
December 12, 2024 12:56 5m 30s
Fixes related to the library options and project files Build and Test Dafny Runtimes #9312: Pull request #5947 synchronize by keyboardDrummer
December 12, 2024 12:56 12s keyboardDrummer:dafnyOptionsFixes
keyboardDrummer:dafnyOptionsFixes
December 12, 2024 12:56 12s
No nesting inside RangeToken.StartToken Build and Test Dafny Runtimes #9311: Pull request #5976 synchronize by keyboardDrummer
December 12, 2024 12:31 4m 36s keyboardDrummer:noNestingInsideRangeToken
keyboardDrummer:noNestingInsideRangeToken
December 12, 2024 12:31 4m 36s
No nesting inside RangeToken.StartToken Build and Test Dafny Runtimes #9310: Pull request #5976 synchronize by keyboardDrummer
December 12, 2024 11:39 5m 40s keyboardDrummer:noNestingInsideRangeToken
keyboardDrummer:noNestingInsideRangeToken
December 12, 2024 11:39 5m 40s
No nesting inside RangeToken.StartToken Build and Test Dafny Runtimes #9309: Pull request #5976 synchronize by keyboardDrummer
December 12, 2024 10:18 2m 50s keyboardDrummer:noNestingInsideRangeToken
keyboardDrummer:noNestingInsideRangeToken
December 12, 2024 10:18 2m 50s
No nesting inside RangeToken.StartToken Build and Test Dafny Runtimes #9308: Pull request #5976 opened by keyboardDrummer
December 12, 2024 10:13 2m 43s keyboardDrummer:noNestingInsideRangeToken
keyboardDrummer:noNestingInsideRangeToken
December 12, 2024 10:13 2m 43s
Use IOrigin type in most locations where RangeToken is used Build and Test Dafny Runtimes #9307: Pull request #5975 synchronize by keyboardDrummer
December 12, 2024 09:40 2m 18s keyboardDrummer:useOriginTypeWhereRangeTokenIsUsed
keyboardDrummer:useOriginTypeWhereRangeTokenIsUsed
December 12, 2024 09:40 2m 18s