Skip to content

Actions: dafny-lang/dafny

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
27,528 workflow run results
27,528 workflow run results

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Nightly test and release workflow Nightly test and release workflow #261: Scheduled
May 12, 2024 14:32 1h 47m 10s master
master
May 12, 2024 14:32 1h 47m 10s
Daily soak test workflow Daily soak test workflow #11: Scheduled
May 12, 2024 03:30 20m 50s master
master
May 12, 2024 03:30 20m 50s
Nightly test and release workflow Nightly test and release workflow #260: Scheduled
May 11, 2024 14:32 1h 57m 54s master
master
May 11, 2024 14:32 1h 57m 54s
Daily soak test workflow Daily soak test workflow #10: Scheduled
May 11, 2024 03:30 19m 5s master
master
May 11, 2024 03:30 19m 5s
Feat: Rust operators (#5390) Deploy Jekyll site to Pages #191: Commit 707510a pushed by MikaelMayer
May 10, 2024 22:19 46s master
master
May 10, 2024 22:19 46s
Feat: Rust operators Build and Test #18085: Pull request #5390 synchronize by MikaelMayer
May 10, 2024 21:44 36m 27s feat-rust-operators-fixed
feat-rust-operators-fixed
May 10, 2024 21:44 36m 27s
Feat: Rust operators Build DafnyRef.pdf #17314: Pull request #5390 synchronize by MikaelMayer
May 10, 2024 21:44 2m 44s feat-rust-operators-fixed
feat-rust-operators-fixed
May 10, 2024 21:44 2m 44s
Feat: Rust operators Build and Test Dafny Runtimes #7621: Pull request #5390 synchronize by MikaelMayer
May 10, 2024 21:44 3m 56s feat-rust-operators-fixed
feat-rust-operators-fixed
May 10, 2024 21:44 3m 56s
Feat: Rust operators Build and Test Dafny Standard Libraries #2350: Pull request #5390 synchronize by MikaelMayer
May 10, 2024 21:44 18m 2s feat-rust-operators-fixed
feat-rust-operators-fixed
May 10, 2024 21:44 18m 2s
Feat: Rust operators Test documentation #9133: Pull request #5390 synchronize by MikaelMayer
May 10, 2024 21:44 17m 5s feat-rust-operators-fixed
feat-rust-operators-fixed
May 10, 2024 21:44 17m 5s
Feat: Rust operators Build and Test #18084: Pull request #5390 synchronize by MikaelMayer
May 10, 2024 17:52 1h 55m 33s feat-rust-operators-fixed
feat-rust-operators-fixed
May 10, 2024 17:52 1h 55m 33s
Feat: Rust operators Build and Test Dafny Runtimes #7620: Pull request #5390 synchronize by MikaelMayer
May 10, 2024 17:52 3m 50s feat-rust-operators-fixed
feat-rust-operators-fixed
May 10, 2024 17:52 3m 50s
Feat: Rust operators Test documentation #9132: Pull request #5390 synchronize by MikaelMayer
May 10, 2024 17:52 17m 21s feat-rust-operators-fixed
feat-rust-operators-fixed
May 10, 2024 17:52 17m 21s
Feat: Rust operators Build and Test Dafny Standard Libraries #2349: Pull request #5390 synchronize by MikaelMayer
May 10, 2024 17:52 18m 58s feat-rust-operators-fixed
feat-rust-operators-fixed
May 10, 2024 17:52 18m 58s
Feat: Rust operators Build DafnyRef.pdf #17313: Pull request #5390 synchronize by MikaelMayer
May 10, 2024 17:52 2m 40s feat-rust-operators-fixed
feat-rust-operators-fixed
May 10, 2024 17:52 2m 40s
Nightly test and release workflow Nightly test and release workflow #259: Scheduled
May 10, 2024 14:32 3h 14m 54s master
master
May 10, 2024 14:32 3h 14m 54s
Feat: Rust operators Build and Test Dafny Standard Libraries #2348: Pull request #5390 synchronize by MikaelMayer
May 10, 2024 14:15 18m 45s feat-rust-operators-fixed
feat-rust-operators-fixed
May 10, 2024 14:15 18m 45s
Feat: Rust operators Build and Test Dafny Runtimes #7619: Pull request #5390 synchronize by MikaelMayer
May 10, 2024 14:15 4m 3s feat-rust-operators-fixed
feat-rust-operators-fixed
May 10, 2024 14:15 4m 3s
Feat: Rust operators Test documentation #9131: Pull request #5390 synchronize by MikaelMayer
May 10, 2024 14:15 17m 24s feat-rust-operators-fixed
feat-rust-operators-fixed
May 10, 2024 14:15 17m 24s
Feat: Rust operators Build DafnyRef.pdf #17312: Pull request #5390 synchronize by MikaelMayer
May 10, 2024 14:15 2m 57s feat-rust-operators-fixed
feat-rust-operators-fixed
May 10, 2024 14:15 2m 57s
Feat: Rust operators Build and Test #18083: Pull request #5390 synchronize by MikaelMayer
May 10, 2024 14:15 2h 11m 27s feat-rust-operators-fixed
feat-rust-operators-fixed
May 10, 2024 14:15 2h 11m 27s
Deduplicate verification diagnostic reporting between CLI and server Build and Test Dafny Standard Libraries #2347: Pull request #5246 synchronize by keyboardDrummer
May 10, 2024 14:00 19m 27s keyboardDrummer:morePhaseUsage
keyboardDrummer:morePhaseUsage
May 10, 2024 14:00 19m 27s
Deduplicate verification diagnostic reporting between CLI and server Build DafnyRef.pdf #17311: Pull request #5246 synchronize by keyboardDrummer
May 10, 2024 14:00 2m 29s keyboardDrummer:morePhaseUsage
keyboardDrummer:morePhaseUsage
May 10, 2024 14:00 2m 29s
Deduplicate verification diagnostic reporting between CLI and server Build and Test Dafny Runtimes #7618: Pull request #5246 synchronize by keyboardDrummer
May 10, 2024 14:00 3m 58s keyboardDrummer:morePhaseUsage
keyboardDrummer:morePhaseUsage
May 10, 2024 14:00 3m 58s
Deduplicate verification diagnostic reporting between CLI and server Test documentation #9130: Pull request #5246 synchronize by keyboardDrummer
May 10, 2024 14:00 16m 56s keyboardDrummer:morePhaseUsage
keyboardDrummer:morePhaseUsage
May 10, 2024 14:00 16m 56s