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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use refresh resolver by default Build and Test Dafny Runtimes #9637: Pull request #5653 synchronize by RustanLeino
January 16, 2025 20:34 2m 28s RustanLeino:refresh-by-default
RustanLeino:refresh-by-default
January 16, 2025 20:34 2m 28s
Use refresh resolver by default Build and Test Dafny Runtimes #9636: Pull request #5653 synchronize by RustanLeino
January 16, 2025 19:45 2m 22s RustanLeino:refresh-by-default
RustanLeino:refresh-by-default
January 16, 2025 19:45 2m 22s
Fix Rust tests via lit on osx Build and Test Dafny Runtimes #9635: Pull request #6057 opened by RustanLeino
January 16, 2025 19:26 5m 12s RustanLeino:lit-rust-changes
RustanLeino:lit-rust-changes
January 16, 2025 19:26 5m 12s
Feat: Ability to emit sync-compatible Rust code. Build and Test Dafny Runtimes #9634: Pull request #6040 synchronize by MikaelMayer
January 16, 2025 18:55 3m 51s fix-5969-sync-for-rust
fix-5969-sync-for-rust
January 16, 2025 18:55 3m 51s
Feat: Ability to emit sync-compatible Rust code. Build and Test Dafny Runtimes #9633: Pull request #6040 synchronize by MikaelMayer
January 16, 2025 17:43 5m 19s fix-5969-sync-for-rust
fix-5969-sync-for-rust
January 16, 2025 17:43 5m 19s
Feat: Ability to emit sync-compatible Rust code. Build and Test Dafny Runtimes #9632: Pull request #6040 synchronize by MikaelMayer
January 16, 2025 16:56 4m 59s fix-5969-sync-for-rust
fix-5969-sync-for-rust
January 16, 2025 16:56 4m 59s
fix: remove deadlock from Sequence Build and Test Dafny Runtimes #9631: Pull request #6056 opened by ajewellamz
January 16, 2025 14:48 6m 12s ajewell/sync-fix
ajewell/sync-fix
January 16, 2025 14:48 6m 12s
Feat: Ability to emit sync-compatible Rust code. Build and Test Dafny Runtimes #9630: Pull request #6040 synchronize by MikaelMayer
January 16, 2025 02:01 5m 13s fix-5969-sync-for-rust
fix-5969-sync-for-rust
January 16, 2025 02:01 5m 13s
Use refresh resolver by default Build and Test Dafny Runtimes #9629: Pull request #5653 synchronize by RustanLeino
January 16, 2025 01:33 2m 32s RustanLeino:refresh-by-default
RustanLeino:refresh-by-default
January 16, 2025 01:33 2m 32s
Remove function-context-height variable in Boogie encoding Build and Test Dafny Runtimes #9628: Pull request #6046 synchronize by RustanLeino
January 15, 2025 22:36 5m 15s RustanLeino:remove-functionHeight
RustanLeino:remove-functionHeight
January 15, 2025 22:36 5m 15s
Feat: Ability to emit sync-compatible Rust code. Build and Test Dafny Runtimes #9627: Pull request #6040 synchronize by MikaelMayer
January 15, 2025 22:18 4m 56s fix-5969-sync-for-rust
fix-5969-sync-for-rust
January 15, 2025 22:18 4m 56s
Removing check files now that the test is OK in all back-ends Build and Test Dafny Runtimes #9626: Pull request #6055 opened by olivier-aws
January 15, 2025 21:39 5m 20s olivier-aws:removing_check_files
olivier-aws:removing_check_files
January 15, 2025 21:39 5m 20s
Avoid java compilation error when user code defines Get in a codatatype Build and Test Dafny Runtimes #9625: Pull request #6054 synchronize by olivier-aws
January 15, 2025 21:34 5m 13s 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 5m 13s
Avoid java compilation error when user code defines Get in a codatatype Build and Test Dafny Runtimes #9624: Pull request #6054 synchronize by olivier-aws
January 15, 2025 20:27 5m 22s 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 5m 22s
Remove function-context-height variable in Boogie encoding Build and Test Dafny Runtimes #9623: Pull request #6046 synchronize by RustanLeino
January 15, 2025 19:54 5m 17s RustanLeino:remove-functionHeight
RustanLeino:remove-functionHeight
January 15, 2025 19:54 5m 17s
Use refresh resolver by default Build and Test Dafny Runtimes #9622: Pull request #5653 synchronize by RustanLeino
January 15, 2025 19:20 10m 45s RustanLeino:refresh-by-default
RustanLeino:refresh-by-default
January 15, 2025 19:20 10m 45s
feat: Compute triggers for such-that operations Build and Test Dafny Runtimes #9621: Pull request #6023 synchronize by RustanLeino
January 15, 2025 19:15 5m 13s RustanLeino:triggers-for-such-that
RustanLeino:triggers-for-such-that
January 15, 2025 19:15 5m 13s
Remove function-context-height variable in Boogie encoding Build and Test Dafny Runtimes #9620: Pull request #6046 synchronize by RustanLeino
January 15, 2025 19:11 5m 4s RustanLeino:remove-functionHeight
RustanLeino:remove-functionHeight
January 15, 2025 19:11 5m 4s
Avoid java compilation error when user code defines Get in a codatatype Build and Test Dafny Runtimes #9619: Pull request #6054 synchronize by olivier-aws
January 15, 2025 17:43 5m 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 5m 8s
Feat: Ability to emit sync-compatible Rust code. Build and Test Dafny Runtimes #9618: Pull request #6040 synchronize by MikaelMayer
January 15, 2025 17:24 5m 0s fix-5969-sync-for-rust
fix-5969-sync-for-rust
January 15, 2025 17:24 5m 0s
Avoid java compilation error when user code defines Get in a codatatype Build and Test Dafny Runtimes #9617: 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 Dafny Runtimes #9616: Pull request #6044 synchronize by MikaelMayer
January 15, 2025 11:36 5m 12s feat-code-actions-forall-calc
feat-code-actions-forall-calc
January 15, 2025 11:36 5m 12s
feat: Compute triggers for such-that operations Build and Test Dafny Runtimes #9615: Pull request #6023 synchronize by RustanLeino
January 15, 2025 00:54 5m 2s RustanLeino:triggers-for-such-that
RustanLeino:triggers-for-such-that
January 15, 2025 00:54 5m 2s
feat: Compute triggers for such-that operations Build and Test Dafny Runtimes #9614: Pull request #6023 synchronize by RustanLeino
January 14, 2025 22:25 8m 59s RustanLeino:triggers-for-such-that
RustanLeino:triggers-for-such-that
January 14, 2025 22:25 8m 59s
Remove function-context-height variable in Boogie encoding Build and Test Dafny Runtimes #9613: Pull request #6046 synchronize by RustanLeino
January 14, 2025 22:16 4m 58s RustanLeino:remove-functionHeight
RustanLeino:remove-functionHeight
January 14, 2025 22:16 4m 58s