Skip to content

Actions: dafny-lang/dafny

Actions

Build and Test Dafny Standard Libraries

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
standard-libraries.yml
4,004 workflow runs
4,004 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 Standard Libraries #4060: Pull request #5980 synchronize by MikaelMayer
December 13, 2024 20:01 15m 27s RustanLeino:issue-5972-addendum
RustanLeino:issue-5972-addendum
December 13, 2024 20:01 15m 27s
No nesting inside RangeToken.StartToken Build and Test Dafny Standard Libraries #4059: Pull request #5976 synchronize by keyboardDrummer
December 13, 2024 18:12 21m 24s keyboardDrummer:noNestingInsideRangeToken
keyboardDrummer:noNestingInsideRangeToken
December 13, 2024 18:12 21m 24s
Standard libraries and separate compilation Build and Test Dafny Standard Libraries #4058: Pull request #5981 synchronize by keyboardDrummer
December 13, 2024 12:33 20m 30s keyboardDrummer:standardLibrariesAndSeparateCompilation
keyboardDrummer:standardLibrariesAndSeparateCompilation
December 13, 2024 12:33 20m 30s
Standard libraries and separate compilation Build and Test Dafny Standard Libraries #4057: Pull request #5981 opened by keyboardDrummer
December 13, 2024 12:21 18m 14s keyboardDrummer:standardLibrariesAndSeparateCompilation
keyboardDrummer:standardLibrariesAndSeparateCompilation
December 13, 2024 12:21 18m 14s
fix: Account for the optional equality support of map/seq inside newtypes Build and Test Dafny Standard Libraries #4056: Pull request #5980 opened by RustanLeino
December 12, 2024 23:28 3m 28s RustanLeino:issue-5972-addendum
RustanLeino:issue-5972-addendum
December 12, 2024 23:28 3m 28s
Fix: General newtypes now support conditional equality Build and Test Dafny Standard Libraries #4055: Pull request #5979 opened by MikaelMayer
December 12, 2024 23:24 14m 0s fix-5978-general-newtypes-not-supporting-equality-sound-way
fix-5978-general-newtypes-not-supporting-equality-sound-way
December 12, 2024 23:24 14m 0s
Can call merge Build and Test Dafny Standard Libraries #4054: Pull request #5977 synchronize by typerSniper
December 12, 2024 19:35 13m 18s typerSniper:can-call-merge
typerSniper:can-call-merge
December 12, 2024 19:35 13m 18s
Can call merge Build and Test Dafny Standard Libraries #4053: Pull request #5977 synchronize by typerSniper
December 12, 2024 19:27 8m 42s typerSniper:can-call-merge
typerSniper:can-call-merge
December 12, 2024 19:27 8m 42s
Can call merge Build and Test Dafny Standard Libraries #4052: Pull request #5977 synchronize by typerSniper
December 12, 2024 19:24 13m 40s typerSniper:can-call-merge
typerSniper:can-call-merge
December 12, 2024 19:24 13m 40s
No nesting inside RangeToken.StartToken Build and Test Dafny Standard Libraries #4051: Pull request #5976 synchronize by keyboardDrummer
December 12, 2024 16:54 39m 49s keyboardDrummer:noNestingInsideRangeToken
keyboardDrummer:noNestingInsideRangeToken
December 12, 2024 16:54 39m 49s
No nesting inside RangeToken.StartToken Build and Test Dafny Standard Libraries #4050: Pull request #5976 synchronize by keyboardDrummer
December 12, 2024 16:54 19m 56s keyboardDrummer:noNestingInsideRangeToken
keyboardDrummer:noNestingInsideRangeToken
December 12, 2024 16:54 19m 56s
Fixes related to the library options and project files Build and Test Dafny Standard Libraries #4049: Pull request #5947 synchronize by keyboardDrummer
December 12, 2024 16:36 42m 22s keyboardDrummer:dafnyOptionsFixes
keyboardDrummer:dafnyOptionsFixes
December 12, 2024 16:36 42m 22s
Fixes related to the library options and project files Build and Test Dafny Standard Libraries #4048: Pull request #5947 synchronize by keyboardDrummer
December 12, 2024 16:36 21m 13s keyboardDrummer:dafnyOptionsFixes
keyboardDrummer:dafnyOptionsFixes
December 12, 2024 16:36 21m 13s
Can call merge Build and Test Dafny Standard Libraries #4047: Pull request #5977 synchronize by typerSniper
December 12, 2024 16:25 16m 42s typerSniper:can-call-merge
typerSniper:can-call-merge
December 12, 2024 16:25 16m 42s
Can call merge Build and Test Dafny Standard Libraries #4046: Pull request #5977 synchronize by typerSniper
December 12, 2024 16:08 1m 57s typerSniper:can-call-merge
typerSniper:can-call-merge
December 12, 2024 16:08 1m 57s
No nesting inside RangeToken.StartToken Build and Test Dafny Standard Libraries #4045: Pull request #5976 synchronize by keyboardDrummer
December 12, 2024 15:35 22m 7s keyboardDrummer:noNestingInsideRangeToken
keyboardDrummer:noNestingInsideRangeToken
December 12, 2024 15:35 22m 7s
Fixes related to the library options and project files Build and Test Dafny Standard Libraries #4044: Pull request #5947 synchronize by keyboardDrummer
December 12, 2024 13:58 20m 16s keyboardDrummer:dafnyOptionsFixes
keyboardDrummer:dafnyOptionsFixes
December 12, 2024 13:58 20m 16s
No nesting inside RangeToken.StartToken Build and Test Dafny Standard Libraries #4043: Pull request #5976 synchronize by keyboardDrummer
December 12, 2024 13:32 17m 7s keyboardDrummer:noNestingInsideRangeToken
keyboardDrummer:noNestingInsideRangeToken
December 12, 2024 13:32 17m 7s
Fixes related to the library options and project files Build and Test Dafny Standard Libraries #4042: Pull request #5947 synchronize by keyboardDrummer
December 12, 2024 12:56 23m 41s keyboardDrummer:dafnyOptionsFixes
keyboardDrummer:dafnyOptionsFixes
December 12, 2024 12:56 23m 41s
Fixes related to the library options and project files Build and Test Dafny Standard Libraries #4041: Pull request #5947 synchronize by keyboardDrummer
December 12, 2024 12:56 14s keyboardDrummer:dafnyOptionsFixes
keyboardDrummer:dafnyOptionsFixes
December 12, 2024 12:56 14s
No nesting inside RangeToken.StartToken Build and Test Dafny Standard Libraries #4040: Pull request #5976 synchronize by keyboardDrummer
December 12, 2024 12:31 19m 36s keyboardDrummer:noNestingInsideRangeToken
keyboardDrummer:noNestingInsideRangeToken
December 12, 2024 12:31 19m 36s
No nesting inside RangeToken.StartToken Build and Test Dafny Standard Libraries #4039: Pull request #5976 synchronize by keyboardDrummer
December 12, 2024 11:39 16m 40s keyboardDrummer:noNestingInsideRangeToken
keyboardDrummer:noNestingInsideRangeToken
December 12, 2024 11:39 16m 40s
No nesting inside RangeToken.StartToken Build and Test Dafny Standard Libraries #4038: Pull request #5976 synchronize by keyboardDrummer
December 12, 2024 10:18 3m 17s keyboardDrummer:noNestingInsideRangeToken
keyboardDrummer:noNestingInsideRangeToken
December 12, 2024 10:18 3m 17s
No nesting inside RangeToken.StartToken Build and Test Dafny Standard Libraries #4037: Pull request #5976 opened by keyboardDrummer
December 12, 2024 10:13 3m 16s keyboardDrummer:noNestingInsideRangeToken
keyboardDrummer:noNestingInsideRangeToken
December 12, 2024 10:13 3m 16s
Use IOrigin type in most locations where RangeToken is used Build and Test Dafny Standard Libraries #4036: Pull request #5975 synchronize by keyboardDrummer
December 12, 2024 09:40 4m 37s keyboardDrummer:useOriginTypeWhereRangeTokenIsUsed
keyboardDrummer:useOriginTypeWhereRangeTokenIsUsed
December 12, 2024 09:40 4m 37s