Skip to content

Actions: dafny-lang/dafny

Actions

Test documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
doc-tests.yml
3,926 workflow runs
3,926 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixes: Rust supports overriding traits Test documentation #11289: Pull request #5948 synchronize by MikaelMayer
February 13, 2025 15:37 14m 41s feat-rust-support-overriding-trait
feat-rust-support-overriding-trait
February 13, 2025 15:37 14m 41s
Enable generating a parsed AST for Dafny, and a deserializer for that Test documentation #11288: Pull request #6102 synchronize by keyboardDrummer
February 12, 2025 14:55 14m 43s keyboardDrummer:jsonParser
keyboardDrummer:jsonParser
February 12, 2025 14:55 14m 43s
Enable generating a parsed AST for Dafny, and a deserializer for that Test documentation #11287: Pull request #6102 synchronize by keyboardDrummer
February 12, 2025 13:33 14m 42s keyboardDrummer:jsonParser
keyboardDrummer:jsonParser
February 12, 2025 13:33 14m 42s
Enable generating a parsed AST for Dafny, and a deserializer for that Test documentation #11286: Pull request #6102 synchronize by keyboardDrummer
February 12, 2025 12:11 14m 42s keyboardDrummer:jsonParser
keyboardDrummer:jsonParser
February 12, 2025 12:11 14m 42s
Enable generating a parsed AST for Dafny, and a deserializer for that Test documentation #11285: Pull request #6102 synchronize by keyboardDrummer
February 11, 2025 16:13 15m 32s keyboardDrummer:jsonParser
keyboardDrummer:jsonParser
February 11, 2025 16:13 15m 32s
Enable generating a parsed AST for Dafny, and a deserializer for that Test documentation #11284: Pull request #6102 synchronize by keyboardDrummer
February 11, 2025 15:14 14s keyboardDrummer:jsonParser
keyboardDrummer:jsonParser
February 11, 2025 15:14 14s
Fixes: Rust supports overriding traits Test documentation #11283: Pull request #5948 synchronize by MikaelMayer
February 11, 2025 14:03 14s feat-rust-support-overriding-trait
feat-rust-support-overriding-trait
February 11, 2025 14:03 14s
Fixes: Rust supports overriding traits Test documentation #11282: Pull request #5948 synchronize by MikaelMayer
February 10, 2025 23:08 20s feat-rust-support-overriding-trait
feat-rust-support-overriding-trait
February 10, 2025 23:08 20s
feat: Compute triggers for such-that operations Test documentation #11281: Pull request #6023 synchronize by RustanLeino
February 10, 2025 17:58 14s RustanLeino:triggers-for-such-that
RustanLeino:triggers-for-such-that
February 10, 2025 17:58 14s
Opaque block fresh soundness Test documentation #11280: Pull request #6066 synchronize by keyboardDrummer
February 10, 2025 14:38 27m 24s keyboardDrummer:opaqueBlockFreshSoundness
keyboardDrummer:opaqueBlockFreshSoundness
February 10, 2025 14:38 27m 24s
Opaque block fresh soundness Test documentation #11279: Pull request #6066 synchronize by keyboardDrummer
February 8, 2025 10:44 15m 21s keyboardDrummer:opaqueBlockFreshSoundness
keyboardDrummer:opaqueBlockFreshSoundness
February 8, 2025 10:44 15m 21s
Fixes: Rust supports overriding traits Test documentation #11278: Pull request #5948 synchronize by MikaelMayer
February 7, 2025 21:41 14m 36s feat-rust-support-overriding-trait
feat-rust-support-overriding-trait
February 7, 2025 21:41 14m 36s
Fixes: Rust supports overriding traits Test documentation #11277: Pull request #5948 synchronize by MikaelMayer
February 6, 2025 23:21 14m 18s feat-rust-support-overriding-trait
feat-rust-support-overriding-trait
February 6, 2025 23:21 14m 18s
Documentation snapshot for v4.10.0 Test documentation #11276: Pull request #6098 synchronize by MikaelMayer
February 6, 2025 14:43 14m 44s snapshot-v4_10_0
snapshot-v4_10_0
February 6, 2025 14:43 14m 44s
Documentation snapshot for v4.10.0 Test documentation #11275: Pull request #6098 synchronize by MikaelMayer
February 6, 2025 14:31 19s snapshot-v4_10_0
snapshot-v4_10_0
February 6, 2025 14:31 19s
Opaque block fresh soundness Test documentation #11274: Pull request #6066 synchronize by keyboardDrummer
February 6, 2025 11:12 15s keyboardDrummer:opaqueBlockFreshSoundness
keyboardDrummer:opaqueBlockFreshSoundness
February 6, 2025 11:12 15s
Documentation snapshot for v4.10.0 Test documentation #11273: Pull request #6098 opened by MikaelMayer
February 5, 2025 22:18 13s snapshot-v4_10_0
snapshot-v4_10_0
February 5, 2025 22:18 13s
Documentation snapshot for v4.10.0 Test documentation #11272: Pull request #6097 opened by MikaelMayer
February 5, 2025 21:24 14s snapshot-v4_10_0
snapshot-v4_10_0
February 5, 2025 21:24 14s
Fixes: Rust supports overriding traits Test documentation #11271: Pull request #5948 synchronize by MikaelMayer
February 5, 2025 20:17 13s feat-rust-support-overriding-trait
feat-rust-support-overriding-trait
February 5, 2025 20:17 13s
Release 4.10.0 Test documentation #11270: Pull request #6096 synchronize by MikaelMayer
February 5, 2025 18:28 16m 28s release-4.10.0
release-4.10.0
February 5, 2025 18:28 16m 28s
Release 4.10.0 Test documentation #11269: Pull request #6096 synchronize by MikaelMayer
February 5, 2025 18:15 14m 42s release-4.10.0
release-4.10.0
February 5, 2025 18:15 14m 42s
Release 4.10.0 Test documentation #11268: Pull request #6096 reopened by MikaelMayer
February 5, 2025 15:50 14m 59s release-4.10.0
release-4.10.0
February 5, 2025 15:50 14m 59s
Release 4.10.0 Test documentation #11267: Pull request #6096 opened by MikaelMayer
February 5, 2025 15:45 15s release-4.10.0
release-4.10.0
February 5, 2025 15:45 15s
Opaque block fresh soundness Test documentation #11266: Pull request #6066 synchronize by keyboardDrummer
February 5, 2025 10:17 16s keyboardDrummer:opaqueBlockFreshSoundness
keyboardDrummer:opaqueBlockFreshSoundness
February 5, 2025 10:17 16s
chore(Python): Improve slicing performance Test documentation #11265: Pull request #6042 synchronize by lucasmcdonald3
February 4, 2025 20:13 20s lucasmcdonald3:python-lazy-slicing
lucasmcdonald3:python-lazy-slicing
February 4, 2025 20:13 20s