Skip to content

Actions: dafny-lang/dafny

Actions

Build DafnyRef.pdf

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
refman.yml
3,847 workflow runs
3,847 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Enable generating a parsed AST for Dafny, and a deserializer for that Build DafnyRef.pdf #19465: Pull request #6102 synchronize by keyboardDrummer
February 11, 2025 15:14 13s keyboardDrummer:jsonParser
keyboardDrummer:jsonParser
February 11, 2025 15:14 13s
Fixes: Rust supports overriding traits Build DafnyRef.pdf #19464: 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 Build DafnyRef.pdf #19463: Pull request #5948 synchronize by MikaelMayer
February 10, 2025 23:08 12s feat-rust-support-overriding-trait
feat-rust-support-overriding-trait
February 10, 2025 23:08 12s
feat: Compute triggers for such-that operations Build DafnyRef.pdf #19462: Pull request #6023 synchronize by RustanLeino
February 10, 2025 17:58 15s RustanLeino:triggers-for-such-that
RustanLeino:triggers-for-such-that
February 10, 2025 17:58 15s
Opaque block fresh soundness Build DafnyRef.pdf #19461: Pull request #6066 synchronize by keyboardDrummer
February 10, 2025 14:38 14m 47s keyboardDrummer:opaqueBlockFreshSoundness
keyboardDrummer:opaqueBlockFreshSoundness
February 10, 2025 14:38 14m 47s
Opaque block fresh soundness Build DafnyRef.pdf #19460: Pull request #6066 synchronize by keyboardDrummer
February 8, 2025 10:44 2m 43s keyboardDrummer:opaqueBlockFreshSoundness
keyboardDrummer:opaqueBlockFreshSoundness
February 8, 2025 10:44 2m 43s
Fixes: Rust supports overriding traits Build DafnyRef.pdf #19459: Pull request #5948 synchronize by MikaelMayer
February 7, 2025 21:41 2m 39s feat-rust-support-overriding-trait
feat-rust-support-overriding-trait
February 7, 2025 21:41 2m 39s
Fixes: Rust supports overriding traits Build DafnyRef.pdf #19458: Pull request #5948 synchronize by MikaelMayer
February 6, 2025 23:21 2m 45s feat-rust-support-overriding-trait
feat-rust-support-overriding-trait
February 6, 2025 23:21 2m 45s
Documentation snapshot for v4.10.0 Build DafnyRef.pdf #19457: Pull request #6098 synchronize by MikaelMayer
February 6, 2025 14:43 2m 40s snapshot-v4_10_0
snapshot-v4_10_0
February 6, 2025 14:43 2m 40s
Documentation snapshot for v4.10.0 Build DafnyRef.pdf #19456: Pull request #6098 synchronize by MikaelMayer
February 6, 2025 14:31 15s snapshot-v4_10_0
snapshot-v4_10_0
February 6, 2025 14:31 15s
Opaque block fresh soundness Build DafnyRef.pdf #19455: Pull request #6066 synchronize by keyboardDrummer
February 6, 2025 11:12 13s keyboardDrummer:opaqueBlockFreshSoundness
keyboardDrummer:opaqueBlockFreshSoundness
February 6, 2025 11:12 13s
Documentation snapshot for v4.10.0 Build DafnyRef.pdf #19454: Pull request #6098 opened by MikaelMayer
February 5, 2025 22:18 12s snapshot-v4_10_0
snapshot-v4_10_0
February 5, 2025 22:18 12s
Documentation snapshot for v4.10.0 Build DafnyRef.pdf #19453: Pull request #6097 opened by MikaelMayer
February 5, 2025 21:24 18s snapshot-v4_10_0
snapshot-v4_10_0
February 5, 2025 21:24 18s
Fixes: Rust supports overriding traits Build DafnyRef.pdf #19452: Pull request #5948 synchronize by MikaelMayer
February 5, 2025 20:17 14s feat-rust-support-overriding-trait
feat-rust-support-overriding-trait
February 5, 2025 20:17 14s
Release 4.10.0 Build DafnyRef.pdf #19451: Pull request #6096 synchronize by MikaelMayer
February 5, 2025 18:28 3m 11s release-4.10.0
release-4.10.0
February 5, 2025 18:28 3m 11s
Release 4.10.0 Build DafnyRef.pdf #19450: Pull request #6096 synchronize by MikaelMayer
February 5, 2025 18:15 2m 47s release-4.10.0
release-4.10.0
February 5, 2025 18:15 2m 47s
Release 4.10.0 Build DafnyRef.pdf #19449: Pull request #6096 reopened by MikaelMayer
February 5, 2025 15:50 2m 36s release-4.10.0
release-4.10.0
February 5, 2025 15:50 2m 36s
Release 4.10.0 Build DafnyRef.pdf #19448: Pull request #6096 opened by MikaelMayer
February 5, 2025 15:45 18s release-4.10.0
release-4.10.0
February 5, 2025 15:45 18s
Opaque block fresh soundness Build DafnyRef.pdf #19447: Pull request #6066 synchronize by keyboardDrummer
February 5, 2025 10:17 14s keyboardDrummer:opaqueBlockFreshSoundness
keyboardDrummer:opaqueBlockFreshSoundness
February 5, 2025 10:17 14s
chore(Python): Improve slicing performance Build DafnyRef.pdf #19446: Pull request #6042 synchronize by lucasmcdonald3
February 4, 2025 20:13 12s lucasmcdonald3:python-lazy-slicing
lucasmcdonald3:python-lazy-slicing
February 4, 2025 20:13 12s
Fixes: Rust supports overriding traits Build DafnyRef.pdf #19445: Pull request #5948 synchronize by MikaelMayer
February 4, 2025 18:42 15s feat-rust-support-overriding-trait
feat-rust-support-overriding-trait
February 4, 2025 18:42 15s
Chore: Not generate boogie translation if not verifying Build DafnyRef.pdf #19444: Pull request #6067 synchronize by keyboardDrummer
February 4, 2025 14:04 2m 33s chore-do-boogie-translation
chore-do-boogie-translation
February 4, 2025 14:04 2m 33s
feat: Compute triggers for such-that operations Build DafnyRef.pdf #19443: Pull request #6023 synchronize by RustanLeino
February 4, 2025 00:59 2m 40s RustanLeino:triggers-for-such-that
RustanLeino:triggers-for-such-that
February 4, 2025 00:59 2m 40s
chore(Python): Improve slicing performance Build DafnyRef.pdf #19442: Pull request #6042 synchronize by lucasmcdonald3
February 3, 2025 23:59 2m 40s lucasmcdonald3:python-lazy-slicing
lucasmcdonald3:python-lazy-slicing
February 3, 2025 23:59 2m 40s
Chore: Set up nightly and prerelease for 4.10.0 Build DafnyRef.pdf #19441: Pull request #6093 opened by MikaelMayer
February 3, 2025 23:35 2m 29s set-nightly-for-4.10.0
set-nightly-for-4.10.0
February 3, 2025 23:35 2m 29s