Skip to content

Actions: dafny-lang/dafny

Actions

Test documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
doc-tests.yml
4,145 workflow runs
4,145 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use refresh resolver by default Test documentation #11149: Pull request #5653 synchronize by RustanLeino
January 16, 2025 20:34 8m 45s RustanLeino:refresh-by-default
RustanLeino:refresh-by-default
January 16, 2025 20:34 8m 45s
Use refresh resolver by default Test documentation #11148: Pull request #5653 synchronize by RustanLeino
January 16, 2025 19:45 9m 15s RustanLeino:refresh-by-default
RustanLeino:refresh-by-default
January 16, 2025 19:45 9m 15s
Fix Rust tests via lit on osx Test documentation #11147: Pull request #6057 opened by RustanLeino
January 16, 2025 19:26 15m 31s RustanLeino:lit-rust-changes
RustanLeino:lit-rust-changes
January 16, 2025 19:26 15m 31s
Feat: Ability to emit sync-compatible Rust code. Test documentation #11146: Pull request #6040 synchronize by MikaelMayer
January 16, 2025 18:55 14m 24s fix-5969-sync-for-rust
fix-5969-sync-for-rust
January 16, 2025 18:55 14m 24s
Feat: Ability to emit sync-compatible Rust code. Test documentation #11145: Pull request #6040 synchronize by MikaelMayer
January 16, 2025 17:43 14m 55s fix-5969-sync-for-rust
fix-5969-sync-for-rust
January 16, 2025 17:43 14m 55s
Feat: Ability to emit sync-compatible Rust code. Test documentation #11144: Pull request #6040 synchronize by MikaelMayer
January 16, 2025 16:56 14m 32s fix-5969-sync-for-rust
fix-5969-sync-for-rust
January 16, 2025 16:56 14m 32s
fix: remove deadlock from Sequence Test documentation #11143: Pull request #6056 opened by ajewellamz
January 16, 2025 14:48 15m 40s ajewell/sync-fix
ajewell/sync-fix
January 16, 2025 14:48 15m 40s
Feat: Ability to emit sync-compatible Rust code. Test documentation #11142: Pull request #6040 synchronize by MikaelMayer
January 16, 2025 02:01 14m 31s fix-5969-sync-for-rust
fix-5969-sync-for-rust
January 16, 2025 02:01 14m 31s
Use refresh resolver by default Test documentation #11141: Pull request #5653 synchronize by RustanLeino
January 16, 2025 01:33 8m 38s RustanLeino:refresh-by-default
RustanLeino:refresh-by-default
January 16, 2025 01:33 8m 38s
Remove function-context-height variable in Boogie encoding Test documentation #11140: Pull request #6046 synchronize by RustanLeino
January 15, 2025 22:36 14m 17s RustanLeino:remove-functionHeight
RustanLeino:remove-functionHeight
January 15, 2025 22:36 14m 17s
Feat: Ability to emit sync-compatible Rust code. Test documentation #11139: Pull request #6040 synchronize by MikaelMayer
January 15, 2025 22:18 14m 32s fix-5969-sync-for-rust
fix-5969-sync-for-rust
January 15, 2025 22:18 14m 32s
Removing check files now that the test is OK in all back-ends Test documentation #11138: Pull request #6055 opened by olivier-aws
January 15, 2025 21:39 14m 31s olivier-aws:removing_check_files
olivier-aws:removing_check_files
January 15, 2025 21:39 14m 31s
Avoid java compilation error when user code defines Get in a codatatype Test documentation #11137: Pull request #6054 synchronize by olivier-aws
January 15, 2025 21:34 15m 43s 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 15m 43s
Avoid java compilation error when user code defines Get in a codatatype Test documentation #11136: Pull request #6054 synchronize by olivier-aws
January 15, 2025 20:27 14m 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 20:27 14m 29s
Remove function-context-height variable in Boogie encoding Test documentation #11135: Pull request #6046 synchronize by RustanLeino
January 15, 2025 19:54 14m 24s RustanLeino:remove-functionHeight
RustanLeino:remove-functionHeight
January 15, 2025 19:54 14m 24s
Use refresh resolver by default Test documentation #11134: Pull request #5653 synchronize by RustanLeino
January 15, 2025 19:20 15m 24s RustanLeino:refresh-by-default
RustanLeino:refresh-by-default
January 15, 2025 19:20 15m 24s
feat: Compute triggers for such-that operations Test documentation #11133: Pull request #6023 synchronize by RustanLeino
January 15, 2025 19:15 14m 23s RustanLeino:triggers-for-such-that
RustanLeino:triggers-for-such-that
January 15, 2025 19:15 14m 23s
Remove function-context-height variable in Boogie encoding Test documentation #11132: Pull request #6046 synchronize by RustanLeino
January 15, 2025 19:11 14m 39s RustanLeino:remove-functionHeight
RustanLeino:remove-functionHeight
January 15, 2025 19:11 14m 39s
Avoid java compilation error when user code defines Get in a codatatype Test documentation #11131: Pull request #6054 synchronize by olivier-aws
January 15, 2025 17:43 14m 31s 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 14m 31s
Feat: Ability to emit sync-compatible Rust code. Test documentation #11130: Pull request #6040 synchronize by MikaelMayer
January 15, 2025 17:24 14m 18s fix-5969-sync-for-rust
fix-5969-sync-for-rust
January 15, 2025 17:24 14m 18s
Avoid java compilation error when user code defines Get in a codatatype Test documentation #11129: Pull request #6054 opened by olivier-aws
January 15, 2025 17:06 16s 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 16s
Feat code actions forall calc Test documentation #11128: Pull request #6044 synchronize by MikaelMayer
January 15, 2025 11:36 14m 5s feat-code-actions-forall-calc
feat-code-actions-forall-calc
January 15, 2025 11:36 14m 5s
feat: Compute triggers for such-that operations Test documentation #11127: Pull request #6023 synchronize by RustanLeino
January 15, 2025 00:54 14m 33s RustanLeino:triggers-for-such-that
RustanLeino:triggers-for-such-that
January 15, 2025 00:54 14m 33s
feat: Compute triggers for such-that operations Test documentation #11126: Pull request #6023 synchronize by RustanLeino
January 14, 2025 22:25 20m 0s RustanLeino:triggers-for-such-that
RustanLeino:triggers-for-such-that
January 14, 2025 22:25 20m 0s
Remove function-context-height variable in Boogie encoding Test documentation #11125: Pull request #6046 synchronize by RustanLeino
January 14, 2025 22:16 14m 30s RustanLeino:remove-functionHeight
RustanLeino:remove-functionHeight
January 14, 2025 22:16 14m 30s