Skip to content

Actions: dafny-lang/dafny

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
24,829 workflow runs
24,829 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Body-less opaque blocks Issue Update for Fuzzer #326: Issue #6082 opened by RustanLeino
January 24, 2025 20:35 11s
January 24, 2025 20:35 11s
feat: Compute triggers for such-that operations Build and Test Dafny Standard Libraries #4440: Pull request #6023 synchronize by RustanLeino
January 24, 2025 20:21 19m 28s RustanLeino:triggers-for-such-that
RustanLeino:triggers-for-such-that
January 24, 2025 20:21 19m 28s
feat: Compute triggers for such-that operations Test documentation #11223: Pull request #6023 synchronize by RustanLeino
January 24, 2025 20:21 14m 34s RustanLeino:triggers-for-such-that
RustanLeino:triggers-for-such-that
January 24, 2025 20:21 14m 34s
feat: Compute triggers for such-that operations Build and Test #20174: Pull request #6023 synchronize by RustanLeino
January 24, 2025 20:21 In progress RustanLeino:triggers-for-such-that
RustanLeino:triggers-for-such-that
January 24, 2025 20:21 In progress
feat: Compute triggers for such-that operations Build and Test Dafny Runtimes #9711: Pull request #6023 synchronize by RustanLeino
January 24, 2025 20:21 5m 6s RustanLeino:triggers-for-such-that
RustanLeino:triggers-for-such-that
January 24, 2025 20:21 5m 6s
feat: Compute triggers for such-that operations Build DafnyRef.pdf #19404: Pull request #6023 synchronize by RustanLeino
January 24, 2025 20:21 2m 51s RustanLeino:triggers-for-such-that
RustanLeino:triggers-for-such-that
January 24, 2025 20:21 2m 51s
feat: Compute triggers for such-that operations Fuzzing on PR #1186: Pull request #6023 synchronize by RustanLeino
January 24, 2025 20:21 12s
January 24, 2025 20:21 12s
fix: remove unnecessary mut Test documentation #11222: Pull request #6081 opened by ajewellamz
January 24, 2025 20:05 14m 23s ajewell/unmute
ajewell/unmute
January 24, 2025 20:05 14m 23s
fix: remove unnecessary mut Fuzzing on PR #1185: Pull request #6081 opened by ajewellamz
January 24, 2025 20:05 13s
January 24, 2025 20:05 13s
fix: remove unnecessary mut Build and Test Dafny Standard Libraries #4439: Pull request #6081 opened by ajewellamz
January 24, 2025 20:05 13m 54s ajewell/unmute
ajewell/unmute
January 24, 2025 20:05 13m 54s
fix: remove unnecessary mut Build and Test #20173: Pull request #6081 opened by ajewellamz
January 24, 2025 20:05 29m 44s ajewell/unmute
ajewell/unmute
January 24, 2025 20:05 29m 44s
fix: remove unnecessary mut Build DafnyRef.pdf #19403: Pull request #6081 opened by ajewellamz
January 24, 2025 20:05 2m 40s ajewell/unmute
ajewell/unmute
January 24, 2025 20:05 2m 40s
fix: remove unnecessary mut Build and Test Dafny Runtimes #9710: Pull request #6081 opened by ajewellamz
January 24, 2025 20:05 5m 12s ajewell/unmute
ajewell/unmute
January 24, 2025 20:05 5m 12s
Chore: Not generate boogie translation if not verifying Build and Test Dafny Runtimes #9709: Pull request #6067 synchronize by MikaelMayer
January 24, 2025 19:34 4m 18s chore-do-boogie-translation
chore-do-boogie-translation
January 24, 2025 19:34 4m 18s
Chore: Not generate boogie translation if not verifying Test documentation #11221: Pull request #6067 synchronize by MikaelMayer
January 24, 2025 19:34 14m 28s chore-do-boogie-translation
chore-do-boogie-translation
January 24, 2025 19:34 14m 28s
Chore: Not generate boogie translation if not verifying Build and Test Dafny Standard Libraries #4438: Pull request #6067 synchronize by MikaelMayer
January 24, 2025 19:34 13m 40s chore-do-boogie-translation
chore-do-boogie-translation
January 24, 2025 19:34 13m 40s
Chore: Not generate boogie translation if not verifying Build and Test #20172: Pull request #6067 synchronize by MikaelMayer
January 24, 2025 19:34 29m 9s chore-do-boogie-translation
chore-do-boogie-translation
January 24, 2025 19:34 29m 9s
Chore: Not generate boogie translation if not verifying Build DafnyRef.pdf #19402: Pull request #6067 synchronize by MikaelMayer
January 24, 2025 19:34 2m 54s chore-do-boogie-translation
chore-do-boogie-translation
January 24, 2025 19:34 2m 54s
Chore: Not generate boogie translation if not verifying Fuzzing on PR #1184: Pull request #6067 synchronize by MikaelMayer
January 24, 2025 19:34 12s
January 24, 2025 19:34 12s
Vars in traits can't be part of extend reveals clauses and it crashes Dafny Issue Update for Fuzzer #325: Issue #6080 opened by MikaelMayer
January 24, 2025 18:59 10s
January 24, 2025 18:59 10s
Fixes: Rust supports overriding traits Build and Test Dafny Standard Libraries #4437: Pull request #5948 synchronize by MikaelMayer
January 24, 2025 18:11 14m 56s feat-rust-support-overriding-trait
feat-rust-support-overriding-trait
January 24, 2025 18:11 14m 56s
Fixes: Rust supports overriding traits Test documentation #11220: Pull request #5948 synchronize by MikaelMayer
January 24, 2025 18:11 14m 19s feat-rust-support-overriding-trait
feat-rust-support-overriding-trait
January 24, 2025 18:11 14m 19s
Fixes: Rust supports overriding traits Build and Test Dafny Runtimes #9708: Pull request #5948 synchronize by MikaelMayer
January 24, 2025 18:11 5m 15s feat-rust-support-overriding-trait
feat-rust-support-overriding-trait
January 24, 2025 18:11 5m 15s
Fixes: Rust supports overriding traits Build and Test #20171: Pull request #5948 synchronize by MikaelMayer
January 24, 2025 18:11 28m 46s feat-rust-support-overriding-trait
feat-rust-support-overriding-trait
January 24, 2025 18:11 28m 46s
Fixes: Rust supports overriding traits Build DafnyRef.pdf #19401: Pull request #5948 synchronize by MikaelMayer
January 24, 2025 18:11 2m 31s feat-rust-support-overriding-trait
feat-rust-support-overriding-trait
January 24, 2025 18:11 2m 31s