Skip to content

Actions: dafny-lang/dafny

Actions

Build and Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
msbuild.yml
4,412 workflow runs
4,412 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use refresh resolver by default Build and Test #20100: Pull request #5653 synchronize by RustanLeino
January 16, 2025 20:34 In progress RustanLeino:refresh-by-default
RustanLeino:refresh-by-default
January 16, 2025 20:34 In progress
Use refresh resolver by default Build and Test #20099: Pull request #5653 synchronize by RustanLeino
January 16, 2025 19:45 27m 21s RustanLeino:refresh-by-default
RustanLeino:refresh-by-default
January 16, 2025 19:45 27m 21s
Fix Rust tests via lit on osx Build and Test #20098: Pull request #6057 opened by RustanLeino
January 16, 2025 19:26 27m 24s RustanLeino:lit-rust-changes
RustanLeino:lit-rust-changes
January 16, 2025 19:26 27m 24s
Feat: Ability to emit sync-compatible Rust code. Build and Test #20097: Pull request #6040 synchronize by MikaelMayer
January 16, 2025 18:55 29m 31s fix-5969-sync-for-rust
fix-5969-sync-for-rust
January 16, 2025 18:55 29m 31s
Feat: Ability to emit sync-compatible Rust code. Build and Test #20096: Pull request #6040 synchronize by MikaelMayer
January 16, 2025 17:43 30m 11s fix-5969-sync-for-rust
fix-5969-sync-for-rust
January 16, 2025 17:43 30m 11s
Feat: Ability to emit sync-compatible Rust code. Build and Test #20095: Pull request #6040 synchronize by MikaelMayer
January 16, 2025 16:56 30m 39s fix-5969-sync-for-rust
fix-5969-sync-for-rust
January 16, 2025 16:56 30m 39s
fix: remove deadlock from Sequence Build and Test #20094: Pull request #6056 opened by ajewellamz
January 16, 2025 14:48 1h 11m 19s ajewell/sync-fix
ajewell/sync-fix
January 16, 2025 14:48 1h 11m 19s
Feat: Ability to emit sync-compatible Rust code. Build and Test #20093: Pull request #6040 synchronize by MikaelMayer
January 16, 2025 02:01 30m 26s fix-5969-sync-for-rust
fix-5969-sync-for-rust
January 16, 2025 02:01 30m 26s
Use refresh resolver by default Build and Test #20092: Pull request #5653 synchronize by RustanLeino
January 16, 2025 01:33 27m 57s RustanLeino:refresh-by-default
RustanLeino:refresh-by-default
January 16, 2025 01:33 27m 57s
Remove function-context-height variable in Boogie encoding Build and Test #20091: Pull request #6046 synchronize by RustanLeino
January 15, 2025 22:36 28m 52s RustanLeino:remove-functionHeight
RustanLeino:remove-functionHeight
January 15, 2025 22:36 28m 52s
Feat: Ability to emit sync-compatible Rust code. Build and Test #20090: Pull request #6040 synchronize by MikaelMayer
January 15, 2025 22:18 29m 41s fix-5969-sync-for-rust
fix-5969-sync-for-rust
January 15, 2025 22:18 29m 41s
Removing check files now that the test is OK in all back-ends Build and Test #20089: Pull request #6055 opened by olivier-aws
January 15, 2025 21:39 28m 25s olivier-aws:removing_check_files
olivier-aws:removing_check_files
January 15, 2025 21:39 28m 25s
Avoid java compilation error when user code defines Get in a codatatype Build and Test #20088: Pull request #6054 synchronize by olivier-aws
January 15, 2025 21:34 24m 29s olivier-aws:4153-java-compilation-error-when-user-code-defines-get-in-a-codatatype
olivier-aws:4153-java-compilation-error-when-user-code-defines-get-in-a-codatatype
January 15, 2025 21:34 24m 29s
Avoid java compilation error when user code defines Get in a codatatype Build and Test #20087: Pull request #6054 synchronize by olivier-aws
January 15, 2025 20:27 30m 47s olivier-aws:4153-java-compilation-error-when-user-code-defines-get-in-a-codatatype
olivier-aws:4153-java-compilation-error-when-user-code-defines-get-in-a-codatatype
January 15, 2025 20:27 30m 47s
Remove function-context-height variable in Boogie encoding Build and Test #20086: Pull request #6046 synchronize by RustanLeino
January 15, 2025 19:54 26m 55s RustanLeino:remove-functionHeight
RustanLeino:remove-functionHeight
January 15, 2025 19:54 26m 55s
Use refresh resolver by default Build and Test #20085: Pull request #5653 synchronize by RustanLeino
January 15, 2025 19:20 40m 50s RustanLeino:refresh-by-default
RustanLeino:refresh-by-default
January 15, 2025 19:20 40m 50s
feat: Compute triggers for such-that operations Build and Test #20084: Pull request #6023 synchronize by RustanLeino
January 15, 2025 19:15 32m 5s RustanLeino:triggers-for-such-that
RustanLeino:triggers-for-such-that
January 15, 2025 19:15 32m 5s
Remove function-context-height variable in Boogie encoding Build and Test #20083: Pull request #6046 synchronize by RustanLeino
January 15, 2025 19:11 28m 31s RustanLeino:remove-functionHeight
RustanLeino:remove-functionHeight
January 15, 2025 19:11 28m 31s
Avoid java compilation error when user code defines Get in a codatatype Build and Test #20082: Pull request #6054 synchronize by olivier-aws
January 15, 2025 17:43 29m 8s olivier-aws:4153-java-compilation-error-when-user-code-defines-get-in-a-codatatype
olivier-aws:4153-java-compilation-error-when-user-code-defines-get-in-a-codatatype
January 15, 2025 17:43 29m 8s
Feat: Ability to emit sync-compatible Rust code. Build and Test #20081: Pull request #6040 synchronize by MikaelMayer
January 15, 2025 17:24 28m 33s fix-5969-sync-for-rust
fix-5969-sync-for-rust
January 15, 2025 17:24 28m 33s
Avoid java compilation error when user code defines Get in a codatatype Build and Test #20080: Pull request #6054 opened by olivier-aws
January 15, 2025 17:06 15s olivier-aws:4153-java-compilation-error-when-user-code-defines-get-in-a-codatatype
olivier-aws:4153-java-compilation-error-when-user-code-defines-get-in-a-codatatype
January 15, 2025 17:06 15s
Feat code actions forall calc Build and Test #20079: Pull request #6044 synchronize by MikaelMayer
January 15, 2025 11:36 27m 47s feat-code-actions-forall-calc
feat-code-actions-forall-calc
January 15, 2025 11:36 27m 47s
feat: Compute triggers for such-that operations Build and Test #20078: Pull request #6023 synchronize by RustanLeino
January 15, 2025 00:54 28m 16s RustanLeino:triggers-for-such-that
RustanLeino:triggers-for-such-that
January 15, 2025 00:54 28m 16s
feat: Compute triggers for such-that operations Build and Test #20077: Pull request #6023 synchronize by RustanLeino
January 14, 2025 22:25 35m 48s RustanLeino:triggers-for-such-that
RustanLeino:triggers-for-such-that
January 14, 2025 22:25 35m 48s
Remove function-context-height variable in Boogie encoding Build and Test #20076: Pull request #6046 synchronize by RustanLeino
January 14, 2025 22:16 26m 11s RustanLeino:remove-functionHeight
RustanLeino:remove-functionHeight
January 14, 2025 22:16 26m 11s