Skip to content

Actions: dafny-lang/dafny

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use refresh resolver by default Build and Test Dafny Standard Libraries #4604: Pull request #5653 synchronize by RustanLeino
March 4, 2025 20:13 9m 37s RustanLeino:refresh-by-default
RustanLeino:refresh-by-default
March 4, 2025 20:13 9m 37s
Use refresh resolver by default Build and Test Dafny Runtimes #9875: Pull request #5653 synchronize by RustanLeino
March 4, 2025 20:13 6m 1s RustanLeino:refresh-by-default
RustanLeino:refresh-by-default
March 4, 2025 20:13 6m 1s
Use refresh resolver by default Test documentation #11387: Pull request #5653 synchronize by RustanLeino
March 4, 2025 20:13 15m 10s RustanLeino:refresh-by-default
RustanLeino:refresh-by-default
March 4, 2025 20:13 15m 10s
Use refresh resolver by default Build and Test #20338: Pull request #5653 synchronize by RustanLeino
March 4, 2025 20:13 25m 29s RustanLeino:refresh-by-default
RustanLeino:refresh-by-default
March 4, 2025 20:13 25m 29s
Use refresh resolver by default Build DafnyRef.pdf #19568: Pull request #5653 synchronize by RustanLeino
March 4, 2025 20:13 2m 41s RustanLeino:refresh-by-default
RustanLeino:refresh-by-default
March 4, 2025 20:13 2m 41s
Use refresh resolver by default Fuzzing on PR #1363: Pull request #5653 synchronize by RustanLeino
March 4, 2025 20:13 10s
March 4, 2025 20:13 10s
Use refresh resolver by default Fuzzing on PR #1362: Pull request #5653 synchronize by RustanLeino
March 4, 2025 20:08 8s
March 4, 2025 20:08 8s
feat(Python): Support caching const variables Test documentation #11386: Pull request #6134 synchronize by lucasmcdonald3
March 4, 2025 19:49 15m 16s lucasmcdonald3:python-cache-consts
lucasmcdonald3:python-cache-consts
March 4, 2025 19:49 15m 16s
feat(Python): Support caching const variables Build and Test Dafny Standard Libraries #4603: Pull request #6134 synchronize by lucasmcdonald3
March 4, 2025 19:49 14m 37s lucasmcdonald3:python-cache-consts
lucasmcdonald3:python-cache-consts
March 4, 2025 19:49 14m 37s
feat(Python): Support caching const variables Build and Test #20337: Pull request #6134 synchronize by lucasmcdonald3
March 4, 2025 19:49 37m 2s lucasmcdonald3:python-cache-consts
lucasmcdonald3:python-cache-consts
March 4, 2025 19:49 37m 2s
feat(Python): Support caching const variables Build and Test Dafny Runtimes #9874: Pull request #6134 synchronize by lucasmcdonald3
March 4, 2025 19:49 5m 52s lucasmcdonald3:python-cache-consts
lucasmcdonald3:python-cache-consts
March 4, 2025 19:49 5m 52s
feat(Python): Support caching const variables Build DafnyRef.pdf #19567: Pull request #6134 synchronize by lucasmcdonald3
March 4, 2025 19:49 2m 53s lucasmcdonald3:python-cache-consts
lucasmcdonald3:python-cache-consts
March 4, 2025 19:49 2m 53s
feat(Python): Support caching const variables Fuzzing on PR #1361: Pull request #6134 synchronize by lucasmcdonald3
March 4, 2025 19:49 1s
March 4, 2025 19:49 1s
feat(Python): Support caching const variables Test documentation #11385: Pull request #6134 synchronize by lucasmcdonald3
March 4, 2025 19:49 11s lucasmcdonald3:python-cache-consts
lucasmcdonald3:python-cache-consts
March 4, 2025 19:49 11s
feat(Python): Support caching const variables Build and Test Dafny Standard Libraries #4602: Pull request #6134 synchronize by lucasmcdonald3
March 4, 2025 19:49 10s lucasmcdonald3:python-cache-consts
lucasmcdonald3:python-cache-consts
March 4, 2025 19:49 10s
feat(Python): Support caching const variables Build and Test Dafny Runtimes #9873: Pull request #6134 synchronize by lucasmcdonald3
March 4, 2025 19:49 11s lucasmcdonald3:python-cache-consts
lucasmcdonald3:python-cache-consts
March 4, 2025 19:49 11s
feat(Python): Support caching const variables Build DafnyRef.pdf #19566: Pull request #6134 synchronize by lucasmcdonald3
March 4, 2025 19:49 12s lucasmcdonald3:python-cache-consts
lucasmcdonald3:python-cache-consts
March 4, 2025 19:49 12s
feat(Python): Support caching const variables Build and Test #20336: Pull request #6134 synchronize by lucasmcdonald3
March 4, 2025 19:49 11s lucasmcdonald3:python-cache-consts
lucasmcdonald3:python-cache-consts
March 4, 2025 19:49 11s
feat(Python): Support caching const variables Fuzzing on PR #1360: Pull request #6134 synchronize by lucasmcdonald3
March 4, 2025 19:49 1s
March 4, 2025 19:49 1s
feat: Actions and streaming standard libraries Test documentation #11384: Pull request #6074 synchronize by robin-aws
March 4, 2025 17:23 8s actions-and-streaming-stdlibs
actions-and-streaming-stdlibs
March 4, 2025 17:23 8s
feat: Actions and streaming standard libraries Build and Test Dafny Runtimes #9872: Pull request #6074 synchronize by robin-aws
March 4, 2025 17:23 8s actions-and-streaming-stdlibs
actions-and-streaming-stdlibs
March 4, 2025 17:23 8s
feat: Actions and streaming standard libraries Build DafnyRef.pdf #19565: Pull request #6074 synchronize by robin-aws
March 4, 2025 17:23 7s actions-and-streaming-stdlibs
actions-and-streaming-stdlibs
March 4, 2025 17:23 7s
feat: Actions and streaming standard libraries Build and Test #20335: Pull request #6074 synchronize by robin-aws
March 4, 2025 17:23 9s actions-and-streaming-stdlibs
actions-and-streaming-stdlibs
March 4, 2025 17:23 9s
feat: Actions and streaming standard libraries Build and Test Dafny Standard Libraries #4601: Pull request #6074 synchronize by robin-aws
March 4, 2025 17:23 6s actions-and-streaming-stdlibs
actions-and-streaming-stdlibs
March 4, 2025 17:23 6s
feat: Actions and streaming standard libraries Fuzzing on PR #1359: Pull request #6074 synchronize by robin-aws
March 4, 2025 17:23 10s
March 4, 2025 17:23 10s