Skip to content

Actions: dafny-lang/dafny

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
31,186 workflow runs
31,186 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Chore: Generated Id are now declaration-specific Build DafnyRef.pdf #17993: Pull request #5669 opened by MikaelMayer
August 6, 2024 04:40 2m 55s chore-declaration-id-generator
chore-declaration-id-generator
August 6, 2024 04:40 2m 55s
Chore: Generated Id are now declaration-specific Test documentation #9812: Pull request #5669 opened by MikaelMayer
August 6, 2024 04:40 17m 48s chore-declaration-id-generator
chore-declaration-id-generator
August 6, 2024 04:40 17m 48s
Chore: Generated Id are now declaration-specific Build and Test Dafny Runtimes #8300: Pull request #5669 opened by MikaelMayer
August 6, 2024 04:40 5m 41s chore-declaration-id-generator
chore-declaration-id-generator
August 6, 2024 04:40 5m 41s
Chore: Generated Id are now declaration-specific Build and Test #18763: Pull request #5669 opened by MikaelMayer
August 6, 2024 04:40 19m 12s chore-declaration-id-generator
chore-declaration-id-generator
August 6, 2024 04:40 19m 12s
Daily soak test workflow Daily soak test workflow #97: Scheduled
August 6, 2024 03:31 13m 43s master
master
August 6, 2024 03:31 13m 43s
Fix: Tail-Recursion for the Dafny-to-Rust compiler Build and Test #18762: Pull request #5668 synchronize by MikaelMayer
August 6, 2024 01:39 32m 24s fix-5647-tail-recursion-rust-fixup
fix-5647-tail-recursion-rust-fixup
August 6, 2024 01:39 32m 24s
Fix: Tail-Recursion for the Dafny-to-Rust compiler Build and Test Dafny Runtimes #8299: Pull request #5668 synchronize by MikaelMayer
August 6, 2024 01:39 4m 25s fix-5647-tail-recursion-rust-fixup
fix-5647-tail-recursion-rust-fixup
August 6, 2024 01:39 4m 25s
Fix: Tail-Recursion for the Dafny-to-Rust compiler Test documentation #9811: Pull request #5668 synchronize by MikaelMayer
August 6, 2024 01:39 17m 7s fix-5647-tail-recursion-rust-fixup
fix-5647-tail-recursion-rust-fixup
August 6, 2024 01:39 17m 7s
Fix: Tail-Recursion for the Dafny-to-Rust compiler Build DafnyRef.pdf #17992: Pull request #5668 synchronize by MikaelMayer
August 6, 2024 01:39 2m 48s fix-5647-tail-recursion-rust-fixup
fix-5647-tail-recursion-rust-fixup
August 6, 2024 01:39 2m 48s
Fix: Tail-Recursion for the Dafny-to-Rust compiler Build and Test Dafny Standard Libraries #3028: Pull request #5668 synchronize by MikaelMayer
August 6, 2024 01:39 15m 25s fix-5647-tail-recursion-rust-fixup
fix-5647-tail-recursion-rust-fixup
August 6, 2024 01:39 15m 25s
Fix: Tail-Recursion for the Dafny-to-Rust compiler Build and Test Dafny Standard Libraries #3027: Pull request #5668 opened by MikaelMayer
August 6, 2024 01:20 16m 16s fix-5647-tail-recursion-rust-fixup
fix-5647-tail-recursion-rust-fixup
August 6, 2024 01:20 16m 16s
Fix: Tail-Recursion for the Dafny-to-Rust compiler Build DafnyRef.pdf #17991: Pull request #5668 opened by MikaelMayer
August 6, 2024 01:20 2m 55s fix-5647-tail-recursion-rust-fixup
fix-5647-tail-recursion-rust-fixup
August 6, 2024 01:20 2m 55s
Fix: Tail-Recursion for the Dafny-to-Rust compiler Build and Test #18761: Pull request #5668 opened by MikaelMayer
August 6, 2024 01:20 25m 21s fix-5647-tail-recursion-rust-fixup
fix-5647-tail-recursion-rust-fixup
August 6, 2024 01:20 25m 21s
Fix: Tail-Recursion for the Dafny-to-Rust compiler Build and Test Dafny Runtimes #8298: Pull request #5668 opened by MikaelMayer
August 6, 2024 01:20 3m 28s fix-5647-tail-recursion-rust-fixup
fix-5647-tail-recursion-rust-fixup
August 6, 2024 01:20 3m 28s
Fix: Tail-Recursion for the Dafny-to-Rust compiler Test documentation #9810: Pull request #5668 opened by MikaelMayer
August 6, 2024 01:20 17m 38s fix-5647-tail-recursion-rust-fixup
fix-5647-tail-recursion-rust-fixup
August 6, 2024 01:20 17m 38s
Fix: Support for double constant initialization in Dafny-to-Rust Test documentation #9809: Pull request #5667 opened by MikaelMayer
August 5, 2024 19:11 18m 27s fix-5642-second-const
fix-5642-second-const
August 5, 2024 19:11 18m 27s
Fix: Support for double constant initialization in Dafny-to-Rust Build and Test Dafny Standard Libraries #3026: Pull request #5667 opened by MikaelMayer
August 5, 2024 19:11 24m 57s fix-5642-second-const
fix-5642-second-const
August 5, 2024 19:11 24m 57s
Fix: Support for double constant initialization in Dafny-to-Rust Build DafnyRef.pdf #17990: Pull request #5667 opened by MikaelMayer
August 5, 2024 19:11 6m 30s fix-5642-second-const
fix-5642-second-const
August 5, 2024 19:11 6m 30s
Fix: Support for double constant initialization in Dafny-to-Rust Build and Test #18760: Pull request #5667 opened by MikaelMayer
August 5, 2024 19:11 27m 5s fix-5642-second-const
fix-5642-second-const
August 5, 2024 19:11 27m 5s
Fix: Support for double constant initialization in Dafny-to-Rust Build and Test Dafny Runtimes #8297: Pull request #5667 opened by MikaelMayer
August 5, 2024 19:11 4m 49s fix-5642-second-const
fix-5642-second-const
August 5, 2024 19:11 4m 49s
Nightly test and release workflow Nightly test and release workflow #357: Scheduled
August 5, 2024 14:33 1h 5m 55s master
master
August 5, 2024 14:33 1h 5m 55s
Daily soak test workflow Daily soak test workflow #96: Scheduled
August 5, 2024 03:32 12m 7s master
master
August 5, 2024 03:32 12m 7s
Nightly test and release workflow Nightly test and release workflow #356: Scheduled
August 4, 2024 14:33 56m 44s master
master
August 4, 2024 14:33 56m 44s
Daily soak test workflow Daily soak test workflow #95: Scheduled
August 4, 2024 03:31 12m 21s master
master
August 4, 2024 03:31 12m 21s
Nightly test and release workflow Nightly test and release workflow #355: Scheduled
August 3, 2024 14:32 59m 50s master
master
August 3, 2024 14:32 59m 50s