Skip to content

Actions: dafny-lang/dafny

Actions

Test Brew release on Mac

Actions

Loading...

Show workflow options

Create status badge

release-brew.yml
2,209 workflow runs
2,209 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Inlining overhaul for test generation Test Brew release on Mac #12457: Pull request #4255 synchronize by Dargones
July 20, 2023 22:48 3m 28s Dargones:InlinePR
Dargones:InlinePR
July 20, 2023 22:48 3m 28s
Leave Rust testing out of quicktest.sh until a release supports it Test Brew release on Mac #12456: Pull request #4316 opened by atomb
July 20, 2023 22:19 1m 33s atomb:fix-quicktest
atomb:fix-quicktest
July 20, 2023 22:19 1m 33s
Use Boogie's "argument" encoding for polymorphism Test Brew release on Mac #12455: Pull request #4210 synchronize by atomb
July 20, 2023 21:49 1m 39s arg-encoding
arg-encoding
July 20, 2023 21:49 1m 39s
fix: Support odd characters in pathnames for Go Test Brew release on Mac #12454: Pull request #4257 synchronize by RustanLeino
July 20, 2023 19:01 1m 41s RustanLeino:issue-4120
RustanLeino:issue-4120
July 20, 2023 19:01 1m 41s
Fix for LanguageServerFilesystem Test Brew release on Mac #12453: Pull request #4301 synchronize by keyboardDrummer
July 20, 2023 18:18 2m 4s keyboardDrummer:virtualFilesystemFix
keyboardDrummer:virtualFilesystemFix
July 20, 2023 18:18 2m 4s
Release 4.2.0 Test Brew release on Mac #12452: Pull request #4313 synchronize by keyboardDrummer
July 20, 2023 18:08 1m 29s unreverted-Release-4.2.0
unreverted-Release-4.2.0
July 20, 2023 18:08 1m 29s
Handle multiple projects using the same files Test Brew release on Mac #12451: Pull request #4273 synchronize by jtristan
July 20, 2023 16:47 3m 3s keyboardDrummer:conflictingProjects
keyboardDrummer:conflictingProjects
July 20, 2023 16:47 3m 3s
Improve XUnit test stability Test Brew release on Mac #12450: Pull request #4306 synchronize by keyboardDrummer
July 20, 2023 15:35 2m 9s keyboardDrummer:gutterIconsTestDebugging
keyboardDrummer:gutterIconsTestDebugging
July 20, 2023 15:35 2m 9s
Release 4.2.0 Test Brew release on Mac #12449: Pull request #4313 synchronize by keyboardDrummer
July 20, 2023 14:37 36m 40s unreverted-Release-4.2.0
unreverted-Release-4.2.0
July 20, 2023 14:37 36m 40s
Release 4.2.0 Test Brew release on Mac #12448: Pull request #4313 opened by keyboardDrummer
July 20, 2023 14:36 15s unreverted-Release-4.2.0
unreverted-Release-4.2.0
July 20, 2023 14:36 15s
Improve XUnit test stability Test Brew release on Mac #12447: Pull request #4306 synchronize by keyboardDrummer
July 20, 2023 13:46 10m 59s keyboardDrummer:gutterIconsTestDebugging
keyboardDrummer:gutterIconsTestDebugging
July 20, 2023 13:46 10m 59s
Fix for LanguageServerFilesystem Test Brew release on Mac #12446: Pull request #4301 synchronize by keyboardDrummer
July 20, 2023 13:38 10m 10s keyboardDrummer:virtualFilesystemFix
keyboardDrummer:virtualFilesystemFix
July 20, 2023 13:38 10m 10s
Handle multiple projects using the same files Test Brew release on Mac #12445: Pull request #4273 synchronize by keyboardDrummer
July 20, 2023 13:26 3m 36s keyboardDrummer:conflictingProjects
keyboardDrummer:conflictingProjects
July 20, 2023 13:26 3m 36s
Fix for LanguageServerFilesystem Test Brew release on Mac #12444: Pull request #4301 synchronize by keyboardDrummer
July 20, 2023 13:25 2m 13s keyboardDrummer:virtualFilesystemFix
keyboardDrummer:virtualFilesystemFix
July 20, 2023 13:25 2m 13s
Refactoring: simplify computing the priority of implementation tasks Test Brew release on Mac #12443: Pull request #4311 synchronize by keyboardDrummer
July 20, 2023 13:23 2m 34s keyboardDrummer:storeNameTokenInBoogieImplementations
keyboardDrummer:storeNameTokenInBoogieImplementations
July 20, 2023 13:23 2m 34s
Refactoring: simplify computing the priority of implementation tasks Test Brew release on Mac #12442: Pull request #4311 opened by keyboardDrummer
July 20, 2023 13:22 1m 42s keyboardDrummer:storeNameTokenInBoogieImplementations
keyboardDrummer:storeNameTokenInBoogieImplementations
July 20, 2023 13:22 1m 42s
Improve XUnit test stability Test Brew release on Mac #12441: Pull request #4306 synchronize by keyboardDrummer
July 20, 2023 11:44 4m 21s keyboardDrummer:gutterIconsTestDebugging
keyboardDrummer:gutterIconsTestDebugging
July 20, 2023 11:44 4m 21s
Improve XUnit test stability Test Brew release on Mac #12440: Pull request #4306 synchronize by keyboardDrummer
July 20, 2023 11:44 7s keyboardDrummer:gutterIconsTestDebugging
keyboardDrummer:gutterIconsTestDebugging
July 20, 2023 11:44 7s
fix: Mark capitalization conflicts before starting compilation Test Brew release on Mac #12439: Pull request #4310 synchronize by RustanLeino
July 20, 2023 01:11 16m 20s RustanLeino:issue-4309
RustanLeino:issue-4309
July 20, 2023 01:11 16m 20s
fix: Mark capitalization conflicts before starting compilation Test Brew release on Mac #12438: Pull request #4310 synchronize by RustanLeino
July 20, 2023 01:10 1m 20s RustanLeino:issue-4309
RustanLeino:issue-4309
July 20, 2023 01:10 1m 20s
fix: Mark capitalization conflicts before starting compilation Test Brew release on Mac #12437: Pull request #4310 opened by RustanLeino
July 20, 2023 01:08 1m 46s RustanLeino:issue-4309
RustanLeino:issue-4309
July 20, 2023 01:08 1m 46s
fix: Allow more Dafny filenames for compilation to Java Test Brew release on Mac #12436: Pull request #4258 synchronize by RustanLeino
July 19, 2023 21:37 12m 46s RustanLeino:issue-4104
RustanLeino:issue-4104
July 19, 2023 21:37 12m 46s
fix: Support odd characters in pathnames for Go Test Brew release on Mac #12435: Pull request #4257 synchronize by RustanLeino
July 19, 2023 21:36 4m 3s RustanLeino:issue-4120
RustanLeino:issue-4120
July 19, 2023 21:36 4m 3s
fix: Allow JavaScript keywords as names of Dafny modules Test Brew release on Mac #12434: Pull request #4232 synchronize by RustanLeino
July 19, 2023 21:36 2m 10s RustanLeino:protect-js-module-names
RustanLeino:protect-js-module-names
July 19, 2023 21:36 2m 10s
Fix for LanguageServerFilesystem Test Brew release on Mac #12433: Pull request #4301 synchronize by keyboardDrummer
July 19, 2023 21:29 1m 59s keyboardDrummer:virtualFilesystemFix
keyboardDrummer:virtualFilesystemFix
July 19, 2023 21:29 1m 59s