Skip to content

Actions: dafny-lang/dafny

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
22,894 workflow runs
22,894 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixes: Rust supports overriding traits Test documentation #11292: Pull request #5948 synchronize by MikaelMayer
February 14, 2025 03:25 15m 22s feat-rust-support-overriding-trait
feat-rust-support-overriding-trait
February 14, 2025 03:25 15m 22s
Fixes: Rust supports overriding traits Build DafnyRef.pdf #19473: Pull request #5948 synchronize by MikaelMayer
February 14, 2025 03:25 2m 52s feat-rust-support-overriding-trait
feat-rust-support-overriding-trait
February 14, 2025 03:25 2m 52s
Fixes: Rust supports overriding traits Build and Test #20243: Pull request #5948 synchronize by MikaelMayer
February 14, 2025 03:25 24m 28s feat-rust-support-overriding-trait
feat-rust-support-overriding-trait
February 14, 2025 03:25 24m 28s
Fixes: Rust supports overriding traits Build and Test Dafny Runtimes #9780: Pull request #5948 synchronize by MikaelMayer
February 14, 2025 03:25 4m 24s feat-rust-support-overriding-trait
feat-rust-support-overriding-trait
February 14, 2025 03:25 4m 24s
Fixes: Rust supports overriding traits Build and Test Dafny Standard Libraries #4509: Pull request #5948 synchronize by MikaelMayer
February 14, 2025 03:25 12m 25s feat-rust-support-overriding-trait
feat-rust-support-overriding-trait
February 14, 2025 03:25 12m 25s
Fixes: Rust supports overriding traits Fuzzing on PR #1263: Pull request #5948 synchronize by MikaelMayer
February 14, 2025 03:25 9s
February 14, 2025 03:25 9s
feat: First pass at the slicing optimization in Java (WIP) Build and Test #20242: Pull request #6105 synchronize by robin-aws
February 14, 2025 00:04 28m 23s robin-aws:subsequence-by-slicing
robin-aws:subsequence-by-slicing
February 14, 2025 00:04 28m 23s
feat: First pass at the slicing optimization in Java (WIP) Build and Test Dafny Runtimes #9779: Pull request #6105 synchronize by robin-aws
February 14, 2025 00:04 5m 12s robin-aws:subsequence-by-slicing
robin-aws:subsequence-by-slicing
February 14, 2025 00:04 5m 12s
feat: First pass at the slicing optimization in Java (WIP) Build DafnyRef.pdf #19472: Pull request #6105 synchronize by robin-aws
February 14, 2025 00:04 3m 7s robin-aws:subsequence-by-slicing
robin-aws:subsequence-by-slicing
February 14, 2025 00:04 3m 7s
feat: First pass at the slicing optimization in Java (WIP) Test documentation #11291: Pull request #6105 synchronize by robin-aws
February 14, 2025 00:04 14m 28s robin-aws:subsequence-by-slicing
robin-aws:subsequence-by-slicing
February 14, 2025 00:04 14m 28s
feat: First pass at the slicing optimization in Java (WIP) Build and Test Dafny Standard Libraries #4508: Pull request #6105 synchronize by robin-aws
February 14, 2025 00:04 14m 55s robin-aws:subsequence-by-slicing
robin-aws:subsequence-by-slicing
February 14, 2025 00:04 14m 55s
feat: First pass at the slicing optimization in Java (WIP) Fuzzing on PR #1262: Pull request #6105 synchronize by robin-aws
February 14, 2025 00:04 13s
February 14, 2025 00:04 13s
feat: First pass at the slicing optimization in Java (WIP) Build DafnyRef.pdf #19471: Pull request #6105 opened by robin-aws
February 13, 2025 22:41 2m 52s robin-aws:subsequence-by-slicing
robin-aws:subsequence-by-slicing
February 13, 2025 22:41 2m 52s
feat: First pass at the slicing optimization in Java (WIP) Build and Test #20241: Pull request #6105 opened by robin-aws
February 13, 2025 22:41 26m 34s robin-aws:subsequence-by-slicing
robin-aws:subsequence-by-slicing
February 13, 2025 22:41 26m 34s
feat: First pass at the slicing optimization in Java (WIP) Test documentation #11290: Pull request #6105 opened by robin-aws
February 13, 2025 22:41 14m 34s robin-aws:subsequence-by-slicing
robin-aws:subsequence-by-slicing
February 13, 2025 22:41 14m 34s
feat: First pass at the slicing optimization in Java (WIP) Build and Test Dafny Standard Libraries #4507: Pull request #6105 opened by robin-aws
February 13, 2025 22:41 12m 17s robin-aws:subsequence-by-slicing
robin-aws:subsequence-by-slicing
February 13, 2025 22:41 12m 17s
feat: First pass at the slicing optimization in Java (WIP) Build and Test Dafny Runtimes #9778: Pull request #6105 opened by robin-aws
February 13, 2025 22:41 4m 52s robin-aws:subsequence-by-slicing
robin-aws:subsequence-by-slicing
February 13, 2025 22:41 4m 52s
feat: First pass at the slicing optimization in Java (WIP) Fuzzing on PR #1261: Pull request #6105 opened by robin-aws
February 13, 2025 22:41 9s
February 13, 2025 22:41 9s
Fixes: Rust supports overriding traits Build and Test Dafny Runtimes #9777: Pull request #5948 synchronize by MikaelMayer
February 13, 2025 15:37 3m 33s feat-rust-support-overriding-trait
feat-rust-support-overriding-trait
February 13, 2025 15:37 3m 33s
Fixes: Rust supports overriding traits Build and Test Dafny Standard Libraries #4506: Pull request #5948 synchronize by MikaelMayer
February 13, 2025 15:37 12m 57s feat-rust-support-overriding-trait
feat-rust-support-overriding-trait
February 13, 2025 15:37 12m 57s
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
Fixes: Rust supports overriding traits Build and Test #20240: Pull request #5948 synchronize by MikaelMayer
February 13, 2025 15:37 20m 20s feat-rust-support-overriding-trait
feat-rust-support-overriding-trait
February 13, 2025 15:37 20m 20s
Fixes: Rust supports overriding traits Build DafnyRef.pdf #19470: Pull request #5948 synchronize by MikaelMayer
February 13, 2025 15:37 2m 47s feat-rust-support-overriding-trait
feat-rust-support-overriding-trait
February 13, 2025 15:37 2m 47s
Fixes: Rust supports overriding traits Fuzzing on PR #1260: Pull request #5948 synchronize by MikaelMayer
February 13, 2025 15:37 13s
February 13, 2025 15:37 13s
Test Brew release on Mac Test Brew release on Mac #12458: Manually run by MikaelMayer
February 13, 2025 15:19 20s master
master
February 13, 2025 15:19 20s