Skip to content

Actions: dafny-lang/dafny

Actions

Test documentation

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Compute triggers for such-that operations Test documentation #11262: Pull request #6023 synchronize by RustanLeino
February 4, 2025 00:59 14m 28s RustanLeino:triggers-for-such-that
RustanLeino:triggers-for-such-that
February 4, 2025 00:59 14m 28s
chore(Python): Improve slicing performance Test documentation #11261: Pull request #6042 synchronize by lucasmcdonald3
February 3, 2025 23:59 16m 5s lucasmcdonald3:python-lazy-slicing
lucasmcdonald3:python-lazy-slicing
February 3, 2025 23:59 16m 5s
Chore: Set up nightly and prerelease for 4.10.0 Test documentation #11260: Pull request #6093 opened by MikaelMayer
February 3, 2025 23:35 14m 40s set-nightly-for-4.10.0
set-nightly-for-4.10.0
February 3, 2025 23:35 14m 40s
Chore: Set up nightly and prerelease for 4.9.2 Test documentation #11259: Pull request #6092 opened by MikaelMayer
February 3, 2025 22:45 15m 30s set-nightly-for-4.9.2
set-nightly-for-4.9.2
February 3, 2025 22:45 15m 30s
feat: Compute triggers for such-that operations Test documentation #11258: Pull request #6023 synchronize by RustanLeino
February 3, 2025 22:15 14m 47s RustanLeino:triggers-for-such-that
RustanLeino:triggers-for-such-that
February 3, 2025 22:15 14m 47s
chore(Python): Improve slicing performance Test documentation #11257: Pull request #6042 synchronize by lucasmcdonald3
February 3, 2025 22:15 14m 32s lucasmcdonald3:python-lazy-slicing
lucasmcdonald3:python-lazy-slicing
February 3, 2025 22:15 14m 32s
fix: Add CanCall’s for default-valued parameters of method calls Test documentation #11256: Pull request #6091 opened by RustanLeino
February 3, 2025 21:52 14m 38s RustanLeino:issue-6090
RustanLeino:issue-6090
February 3, 2025 21:52 14m 38s
chore(Python): Improve slicing performance Test documentation #11255: Pull request #6042 synchronize by lucasmcdonald3
February 3, 2025 20:10 17m 2s lucasmcdonald3:python-lazy-slicing
lucasmcdonald3:python-lazy-slicing
February 3, 2025 20:10 17m 2s
Chore: Not generate boogie translation if not verifying Test documentation #11254: Pull request #6067 synchronize by MikaelMayer
February 3, 2025 20:07 24m 22s chore-do-boogie-translation
chore-do-boogie-translation
February 3, 2025 20:07 24m 22s
Chore: Not generate boogie translation if not verifying Test documentation #11253: Pull request #6067 synchronize by MikaelMayer
February 3, 2025 20:02 15m 27s chore-do-boogie-translation
chore-do-boogie-translation
February 3, 2025 20:02 15m 27s
chore(Python): Improve slicing performance Test documentation #11252: Pull request #6042 synchronize by lucasmcdonald3
February 3, 2025 19:33 27m 15s lucasmcdonald3:python-lazy-slicing
lucasmcdonald3:python-lazy-slicing
February 3, 2025 19:33 27m 15s
chore(Python): Improve slicing performance Test documentation #11251: Pull request #6042 synchronize by lucasmcdonald3
February 3, 2025 19:31 14m 47s lucasmcdonald3:python-lazy-slicing
lucasmcdonald3:python-lazy-slicing
February 3, 2025 19:31 14m 47s
Function alloc soundness fix Test documentation #11250: Pull request #6018 synchronize by typerSniper
February 3, 2025 15:02 14m 59s typerSniper:function-alloc-soundness-fix
typerSniper:function-alloc-soundness-fix
February 3, 2025 15:02 14m 59s
Chore: Not generate boogie translation if not verifying Test documentation #11249: Pull request #6067 synchronize by MikaelMayer
January 31, 2025 14:45 20m 15s chore-do-boogie-translation
chore-do-boogie-translation
January 31, 2025 14:45 20m 15s
Chore: Not generate boogie translation if not verifying Test documentation #11248: Pull request #6067 synchronize by MikaelMayer
January 30, 2025 22:01 5m 53s chore-do-boogie-translation
chore-do-boogie-translation
January 30, 2025 22:01 5m 53s
Chore: Not generate boogie translation if not verifying Test documentation #11247: Pull request #6067 synchronize by MikaelMayer
January 30, 2025 20:57 28m 57s chore-do-boogie-translation
chore-do-boogie-translation
January 30, 2025 20:57 28m 57s
Chore: Not generate boogie translation if not verifying Test documentation #11246: Pull request #6067 synchronize by MikaelMayer
January 30, 2025 20:56 14m 28s chore-do-boogie-translation
chore-do-boogie-translation
January 30, 2025 20:56 14m 28s
Fixes: Rust supports overriding traits Test documentation #11245: Pull request #5948 synchronize by MikaelMayer
January 30, 2025 18:38 14m 47s feat-rust-support-overriding-trait
feat-rust-support-overriding-trait
January 30, 2025 18:38 14m 47s
Fixes: Rust supports overriding traits Test documentation #11244: Pull request #5948 synchronize by MikaelMayer
January 30, 2025 17:09 14m 23s feat-rust-support-overriding-trait
feat-rust-support-overriding-trait
January 30, 2025 17:09 14m 23s
Chore: Not generate boogie translation if not verifying Test documentation #11243: Pull request #6067 synchronize by MikaelMayer
January 30, 2025 17:00 18s chore-do-boogie-translation
chore-do-boogie-translation
January 30, 2025 17:00 18s
Function alloc soundness fix Test documentation #11242: Pull request #6018 synchronize by typerSniper
January 30, 2025 16:19 21s typerSniper:function-alloc-soundness-fix
typerSniper:function-alloc-soundness-fix
January 30, 2025 16:19 21s
Function alloc soundness fix Test documentation #11241: Pull request #6018 synchronize by typerSniper
January 30, 2025 15:43 14s typerSniper:function-alloc-soundness-fix
typerSniper:function-alloc-soundness-fix
January 30, 2025 15:43 14s
Fix angry module LSP diagnostic Test documentation #11240: Pull request #6086 opened by keyboardDrummer
January 30, 2025 14:51 14m 48s keyboardDrummer:fixAngryModule
keyboardDrummer:fixAngryModule
January 30, 2025 14:51 14m 48s
fix: remove unnecessary mut Test documentation #11239: Pull request #6081 synchronize by MikaelMayer
January 30, 2025 13:44 14m 34s ajewell/unmute
ajewell/unmute
January 30, 2025 13:44 14m 34s
Function alloc soundness fix Test documentation #11238: Pull request #6018 synchronize by typerSniper
January 29, 2025 16:58 14m 42s typerSniper:function-alloc-soundness-fix
typerSniper:function-alloc-soundness-fix
January 29, 2025 16:58 14m 42s