Skip to content

Actions: dafny-lang/dafny

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Enable fibonacci to be deserialized Build and Test Dafny Runtimes #9818: Pull request #6119 synchronize by keyboardDrummer
February 23, 2025 18:47 6m 9s keyboardDrummer:postFirstPrDeserializer
keyboardDrummer:postFirstPrDeserializer
February 23, 2025 18:47 6m 9s
Enable fibonacci to be deserialized Build DafnyRef.pdf #19511: Pull request #6119 synchronize by keyboardDrummer
February 23, 2025 18:47 3m 2s keyboardDrummer:postFirstPrDeserializer
keyboardDrummer:postFirstPrDeserializer
February 23, 2025 18:47 3m 2s
Enable fibonacci to be deserialized Build and Test #20281: Pull request #6119 synchronize by keyboardDrummer
February 23, 2025 18:47 26m 4s keyboardDrummer:postFirstPrDeserializer
keyboardDrummer:postFirstPrDeserializer
February 23, 2025 18:47 26m 4s
Enable fibonacci to be deserialized Test documentation #11330: Pull request #6119 synchronize by keyboardDrummer
February 23, 2025 18:47 14m 43s keyboardDrummer:postFirstPrDeserializer
keyboardDrummer:postFirstPrDeserializer
February 23, 2025 18:47 14m 43s
Enable fibonacci to be deserialized Build and Test Dafny Standard Libraries #4547: Pull request #6119 synchronize by keyboardDrummer
February 23, 2025 18:47 12m 8s keyboardDrummer:postFirstPrDeserializer
keyboardDrummer:postFirstPrDeserializer
February 23, 2025 18:47 12m 8s
Enable fibonacci to be deserialized Fuzzing on PR #1303: Pull request #6119 synchronize by keyboardDrummer
February 23, 2025 18:47 9s
February 23, 2025 18:47 9s
feat: Actions and streaming standard libraries Build and Test Dafny Standard Libraries #4546: Pull request #6074 synchronize by robin-aws
February 23, 2025 18:21 8m 51s actions-and-streaming-stdlibs
actions-and-streaming-stdlibs
February 23, 2025 18:21 8m 51s
feat: Actions and streaming standard libraries Build and Test #20280: Pull request #6074 synchronize by robin-aws
February 23, 2025 18:21 24m 21s actions-and-streaming-stdlibs
actions-and-streaming-stdlibs
February 23, 2025 18:21 24m 21s
feat: Actions and streaming standard libraries Test documentation #11329: Pull request #6074 synchronize by robin-aws
February 23, 2025 18:21 14m 49s actions-and-streaming-stdlibs
actions-and-streaming-stdlibs
February 23, 2025 18:21 14m 49s
feat: Actions and streaming standard libraries Build and Test Dafny Runtimes #9817: Pull request #6074 synchronize by robin-aws
February 23, 2025 18:21 3m 19s actions-and-streaming-stdlibs
actions-and-streaming-stdlibs
February 23, 2025 18:21 3m 19s
feat: Actions and streaming standard libraries Build DafnyRef.pdf #19510: Pull request #6074 synchronize by robin-aws
February 23, 2025 18:21 2m 50s actions-and-streaming-stdlibs
actions-and-streaming-stdlibs
February 23, 2025 18:21 2m 50s
feat: Actions and streaming standard libraries Fuzzing on PR #1302: Pull request #6074 synchronize by robin-aws
February 23, 2025 18:21 10s
February 23, 2025 18:21 10s
Enable fibonacci to be deserialized Build and Test Dafny Runtimes #9816: Pull request #6119 synchronize by keyboardDrummer
February 23, 2025 15:30 5m 56s keyboardDrummer:postFirstPrDeserializer
keyboardDrummer:postFirstPrDeserializer
February 23, 2025 15:30 5m 56s
Enable fibonacci to be deserialized Test documentation #11328: Pull request #6119 synchronize by keyboardDrummer
February 23, 2025 15:30 15m 49s keyboardDrummer:postFirstPrDeserializer
keyboardDrummer:postFirstPrDeserializer
February 23, 2025 15:30 15m 49s
Enable fibonacci to be deserialized Build and Test #20279: Pull request #6119 synchronize by keyboardDrummer
February 23, 2025 15:30 27m 58s keyboardDrummer:postFirstPrDeserializer
keyboardDrummer:postFirstPrDeserializer
February 23, 2025 15:30 27m 58s
Enable fibonacci to be deserialized Build DafnyRef.pdf #19509: Pull request #6119 synchronize by keyboardDrummer
February 23, 2025 15:30 3m 14s keyboardDrummer:postFirstPrDeserializer
keyboardDrummer:postFirstPrDeserializer
February 23, 2025 15:30 3m 14s
Enable fibonacci to be deserialized Build and Test Dafny Standard Libraries #4545: Pull request #6119 synchronize by keyboardDrummer
February 23, 2025 15:30 17m 23s keyboardDrummer:postFirstPrDeserializer
keyboardDrummer:postFirstPrDeserializer
February 23, 2025 15:30 17m 23s
Enable fibonacci to be deserialized Fuzzing on PR #1301: Pull request #6119 synchronize by keyboardDrummer
February 23, 2025 15:30 11s
February 23, 2025 15:30 11s
Nightly test and release workflow Nightly test and release workflow #569: Scheduled
February 23, 2025 14:33 53m 47s master
master
February 23, 2025 14:33 53m 47s
Daily soak test workflow Daily soak test workflow #298: Scheduled
February 23, 2025 03:34 14m 45s master
master
February 23, 2025 03:34 14m 45s
chore(Python): Improve slicing performance Build DafnyRef.pdf #19508: Pull request #6042 synchronize by fabiomadge
February 22, 2025 22:52 2m 59s lucasmcdonald3:python-lazy-slicing
lucasmcdonald3:python-lazy-slicing
February 22, 2025 22:52 2m 59s
chore(Python): Improve slicing performance Build and Test Dafny Runtimes #9815: Pull request #6042 synchronize by fabiomadge
February 22, 2025 22:52 5m 53s lucasmcdonald3:python-lazy-slicing
lucasmcdonald3:python-lazy-slicing
February 22, 2025 22:52 5m 53s
chore(Python): Improve slicing performance Build and Test #20278: Pull request #6042 synchronize by fabiomadge
February 22, 2025 22:52 27m 11s lucasmcdonald3:python-lazy-slicing
lucasmcdonald3:python-lazy-slicing
February 22, 2025 22:52 27m 11s
chore(Python): Improve slicing performance Test documentation #11327: Pull request #6042 synchronize by fabiomadge
February 22, 2025 22:52 14m 30s lucasmcdonald3:python-lazy-slicing
lucasmcdonald3:python-lazy-slicing
February 22, 2025 22:52 14m 30s
chore(Python): Improve slicing performance Build and Test Dafny Standard Libraries #4544: Pull request #6042 synchronize by fabiomadge
February 22, 2025 22:52 13m 28s lucasmcdonald3:python-lazy-slicing
lucasmcdonald3:python-lazy-slicing
February 22, 2025 22:52 13m 28s