Skip to content

Actions: dafny-lang/dafny

Actions

Build and Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
msbuild.yml
3,722 workflow runs
3,722 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use refresh resolver by default Build and Test #20340: Pull request #5653 synchronize by RustanLeino
March 5, 2025 01:55 24m 31s RustanLeino:refresh-by-default
RustanLeino:refresh-by-default
March 5, 2025 01:55 24m 31s
Use refresh resolver by default Build and Test #20339: Pull request #5653 synchronize by RustanLeino
March 4, 2025 23:07 25m 17s RustanLeino:refresh-by-default
RustanLeino:refresh-by-default
March 4, 2025 23:07 25m 17s
Use refresh resolver by default Build and Test #20338: Pull request #5653 synchronize by RustanLeino
March 4, 2025 20:13 25m 29s RustanLeino:refresh-by-default
RustanLeino:refresh-by-default
March 4, 2025 20:13 25m 29s
feat(Python): Support caching const variables Build and Test #20337: Pull request #6134 synchronize by lucasmcdonald3
March 4, 2025 19:49 37m 2s lucasmcdonald3:python-cache-consts
lucasmcdonald3:python-cache-consts
March 4, 2025 19:49 37m 2s
feat(Python): Support caching const variables Build and Test #20336: Pull request #6134 synchronize by lucasmcdonald3
March 4, 2025 19:49 11s lucasmcdonald3:python-cache-consts
lucasmcdonald3:python-cache-consts
March 4, 2025 19:49 11s
feat: Actions and streaming standard libraries Build and Test #20335: Pull request #6074 synchronize by robin-aws
March 4, 2025 17:23 9s actions-and-streaming-stdlibs
actions-and-streaming-stdlibs
March 4, 2025 17:23 9s
Use diagnostics instead of IOrigin in the reporting code, to force ma… Build and Test #20334: Pull request #6133 synchronize by keyboardDrummer
March 4, 2025 14:27 7s keyboardDrummer:reportingRefactoring
keyboardDrummer:reportingRefactoring
March 4, 2025 14:27 7s
Refinement reporting Build and Test #20333: Pull request #6138 opened by keyboardDrummer
March 4, 2025 14:26 9s keyboardDrummer:refinementReporting
keyboardDrummer:refinementReporting
March 4, 2025 14:26 9s
Use diagnostics instead of IOrigin in the reporting code, to force ma… Build and Test #20332: Pull request #6133 synchronize by keyboardDrummer
March 4, 2025 12:13 35m 40s keyboardDrummer:reportingRefactoring
keyboardDrummer:reportingRefactoring
March 4, 2025 12:13 35m 40s
Use refresh resolver by default Build and Test #20331: Pull request #5653 synchronize by RustanLeino
March 4, 2025 01:41 24m 58s RustanLeino:refresh-by-default
RustanLeino:refresh-by-default
March 4, 2025 01:41 24m 58s
feat: Support using --standard-libraries with --enforce-determinism Build and Test #20330: Pull request #6137 synchronize by robin-aws
March 3, 2025 23:39 37m 14s robin-aws:support-enforce-determinism-with-standard-libraries
robin-aws:support-enforce-determinism-with-standard-libraries
March 3, 2025 23:39 37m 14s
feat: Support using --standard-libraries with --enforce-determinism Build and Test #20329: Pull request #6137 synchronize by robin-aws
March 3, 2025 22:50 38m 57s robin-aws:support-enforce-determinism-with-standard-libraries
robin-aws:support-enforce-determinism-with-standard-libraries
March 3, 2025 22:50 38m 57s
feat: Support using --standard-libraries with --enforce-determinism Build and Test #20328: Pull request #6137 synchronize by robin-aws
March 3, 2025 22:37 12m 7s robin-aws:support-enforce-determinism-with-standard-libraries
robin-aws:support-enforce-determinism-with-standard-libraries
March 3, 2025 22:37 12m 7s
feat: Support using --standard-libraries with --enforce-determinism Build and Test #20327: Pull request #6137 synchronize by robin-aws
March 3, 2025 22:16 36m 11s robin-aws:support-enforce-determinism-with-standard-libraries
robin-aws:support-enforce-determinism-with-standard-libraries
March 3, 2025 22:16 36m 11s
feat(Python): Support caching const variables Build and Test #20326: Pull request #6134 synchronize by lucasmcdonald3
March 3, 2025 18:55 50m 53s lucasmcdonald3:python-cache-consts
lucasmcdonald3:python-cache-consts
March 3, 2025 18:55 50m 53s
feat(Python): Support caching const variables Build and Test #20325: Pull request #6134 synchronize by lucasmcdonald3
March 3, 2025 18:34 20m 42s lucasmcdonald3:python-cache-consts
lucasmcdonald3:python-cache-consts
March 3, 2025 18:34 20m 42s
feat(Python): Support caching const variables Build and Test #20324: Pull request #6134 synchronize by lucasmcdonald3
March 3, 2025 18:33 35m 11s lucasmcdonald3:python-cache-consts
lucasmcdonald3:python-cache-consts
March 3, 2025 18:33 35m 11s
use zero fuel in triggers Build and Test #20323: Pull request #6124 synchronize by typerSniper
March 3, 2025 16:05 36m 49s typerSniper:trigger-zero
typerSniper:trigger-zero
March 3, 2025 16:05 36m 49s
use zero fuel in triggers Build and Test #20322: Pull request #6124 synchronize by typerSniper
March 3, 2025 14:48 1h 2m 19s typerSniper:trigger-zero
typerSniper:trigger-zero
March 3, 2025 14:48 1h 2m 19s
Use diagnostics instead of IOrigin in the reporting code, to force ma… Build and Test #20321: Pull request #6133 synchronize by keyboardDrummer
March 3, 2025 13:49 1h 0m 50s keyboardDrummer:reportingRefactoring
keyboardDrummer:reportingRefactoring
March 3, 2025 13:49 1h 0m 50s
Add --print-ranges option Build and Test #20320: Pull request #6136 synchronize by keyboardDrummer
March 3, 2025 12:39 36m 37s keyboardDrummer:printRanges
keyboardDrummer:printRanges
March 3, 2025 12:39 36m 37s
Add --print-ranges option Build and Test #20319: Pull request #6136 opened by keyboardDrummer
March 3, 2025 12:39 16s keyboardDrummer:printRanges
keyboardDrummer:printRanges
March 3, 2025 12:39 16s
Use diagnostics instead of IOrigin in the reporting code, to force ma… Build and Test #20318: Pull request #6133 synchronize by keyboardDrummer
March 3, 2025 12:12 1h 23m 48s keyboardDrummer:reportingRefactoring
keyboardDrummer:reportingRefactoring
March 3, 2025 12:12 1h 23m 48s
Use diagnostics instead of IOrigin in the reporting code, to force ma… Build and Test #20317: Pull request #6133 synchronize by keyboardDrummer
March 3, 2025 11:34 1h 0m 48s keyboardDrummer:reportingRefactoring
keyboardDrummer:reportingRefactoring
March 3, 2025 11:34 1h 0m 48s
Use diagnostics instead of IOrigin in the reporting code, to force ma… Build and Test #20316: Pull request #6133 synchronize by keyboardDrummer
March 3, 2025 09:53 32m 57s keyboardDrummer:reportingRefactoring
keyboardDrummer:reportingRefactoring
March 3, 2025 09:53 32m 57s