Skip to content

Actions: dafny-lang/dafny

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
32,819 workflow runs
32,819 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Feat: Rust operators Build DafnyRef.pdf #17271: Pull request #5390 synchronize by MikaelMayer
May 6, 2024 17:50 2m 37s feat-rust-operators-fixed
feat-rust-operators-fixed
May 6, 2024 17:50 2m 37s
Feat: Rust operators Build and Test #18041: Pull request #5390 synchronize by MikaelMayer
May 6, 2024 17:50 Queued feat-rust-operators-fixed
feat-rust-operators-fixed
May 6, 2024 17:50 Queued
Feat: Rust operators Build and Test Dafny Standard Libraries #2307: Pull request #5390 synchronize by MikaelMayer
May 6, 2024 17:50 22m 4s feat-rust-operators-fixed
feat-rust-operators-fixed
May 6, 2024 17:50 22m 4s
Feat: Rust operators Test documentation #9090: Pull request #5390 synchronize by MikaelMayer
May 6, 2024 17:50 17m 23s feat-rust-operators-fixed
feat-rust-operators-fixed
May 6, 2024 17:50 17m 23s
Feat: Rust operators Build and Test Dafny Runtimes #7578: Pull request #5390 synchronize by MikaelMayer
May 6, 2024 17:50 4m 5s feat-rust-operators-fixed
feat-rust-operators-fixed
May 6, 2024 17:50 4m 5s
Feat: Rust operators Build and Test Dafny Runtimes #7577: Pull request #5390 synchronize by MikaelMayer
May 6, 2024 15:12 14m 53s feat-rust-operators-fixed
feat-rust-operators-fixed
May 6, 2024 15:12 14m 53s
Feat: Rust operators Test documentation #9089: Pull request #5390 synchronize by MikaelMayer
May 6, 2024 15:12 27m 49s feat-rust-operators-fixed
feat-rust-operators-fixed
May 6, 2024 15:12 27m 49s
Feat: Rust operators Build DafnyRef.pdf #17270: Pull request #5390 synchronize by MikaelMayer
May 6, 2024 15:12 11m 27s feat-rust-operators-fixed
feat-rust-operators-fixed
May 6, 2024 15:12 11m 27s
Feat: Rust operators Build and Test #18040: Pull request #5390 synchronize by MikaelMayer
May 6, 2024 15:12 3h 37m 8s feat-rust-operators-fixed
feat-rust-operators-fixed
May 6, 2024 15:12 3h 37m 8s
Feat: Rust operators Build and Test Dafny Standard Libraries #2306: Pull request #5390 synchronize by MikaelMayer
May 6, 2024 15:12 1h 30m 4s feat-rust-operators-fixed
feat-rust-operators-fixed
May 6, 2024 15:12 1h 30m 4s
Semantic vs non-semantic options Build and Test Dafny Runtimes #7576: Pull request #5397 synchronize by keyboardDrummer
May 6, 2024 15:01 20m 50s keyboardDrummer:moduleOptions
keyboardDrummer:moduleOptions
May 6, 2024 15:01 20m 50s
Semantic vs non-semantic options Build and Test #18039: Pull request #5397 synchronize by keyboardDrummer
May 6, 2024 15:01 1h 39m 54s keyboardDrummer:moduleOptions
keyboardDrummer:moduleOptions
May 6, 2024 15:01 1h 39m 54s
Semantic vs non-semantic options Test documentation #9088: Pull request #5397 synchronize by keyboardDrummer
May 6, 2024 15:01 37m 54s keyboardDrummer:moduleOptions
keyboardDrummer:moduleOptions
May 6, 2024 15:01 37m 54s
Semantic vs non-semantic options Build and Test Dafny Standard Libraries #2305: Pull request #5397 synchronize by keyboardDrummer
May 6, 2024 15:01 39m 8s keyboardDrummer:moduleOptions
keyboardDrummer:moduleOptions
May 6, 2024 15:01 39m 8s
Semantic vs non-semantic options Build DafnyRef.pdf #17269: Pull request #5397 synchronize by keyboardDrummer
May 6, 2024 15:01 20m 48s keyboardDrummer:moduleOptions
keyboardDrummer:moduleOptions
May 6, 2024 15:01 20m 48s
Nightly test and release workflow Nightly test and release workflow #255: Scheduled
May 6, 2024 14:33 3h 3m 45s master
master
May 6, 2024 14:33 3h 3m 45s
Feat: Rust operators Build DafnyRef.pdf #17268: Pull request #5390 synchronize by MikaelMayer
May 6, 2024 14:21 2m 57s feat-rust-operators-fixed
feat-rust-operators-fixed
May 6, 2024 14:21 2m 57s
Feat: Rust operators Build and Test Dafny Standard Libraries #2304: Pull request #5390 synchronize by MikaelMayer
May 6, 2024 14:21 20m 22s feat-rust-operators-fixed
feat-rust-operators-fixed
May 6, 2024 14:21 20m 22s
Feat: Rust operators Build and Test #18038: Pull request #5390 synchronize by MikaelMayer
May 6, 2024 14:21 2h 1m 29s feat-rust-operators-fixed
feat-rust-operators-fixed
May 6, 2024 14:21 2h 1m 29s
Feat: Rust operators Build and Test Dafny Runtimes #7575: Pull request #5390 synchronize by MikaelMayer
May 6, 2024 14:21 3m 56s feat-rust-operators-fixed
feat-rust-operators-fixed
May 6, 2024 14:21 3m 56s
Feat: Rust operators Test documentation #9087: Pull request #5390 synchronize by MikaelMayer
May 6, 2024 14:21 17m 13s feat-rust-operators-fixed
feat-rust-operators-fixed
May 6, 2024 14:21 17m 13s
Unsafe dependencies Build and Test Dafny Runtimes #7574: Pull request #5394 synchronize by keyboardDrummer
May 6, 2024 13:12 4m 18s keyboardDrummer:unsafeDependencies
keyboardDrummer:unsafeDependencies
May 6, 2024 13:12 4m 18s
Unsafe dependencies Build and Test #18037: Pull request #5394 synchronize by keyboardDrummer
May 6, 2024 13:12 35m 29s keyboardDrummer:unsafeDependencies
keyboardDrummer:unsafeDependencies
May 6, 2024 13:12 35m 29s
Unsafe dependencies Test documentation #9086: Pull request #5394 synchronize by keyboardDrummer
May 6, 2024 13:12 16m 57s keyboardDrummer:unsafeDependencies
keyboardDrummer:unsafeDependencies
May 6, 2024 13:12 16m 57s
Unsafe dependencies Build and Test Dafny Standard Libraries #2303: Pull request #5394 synchronize by keyboardDrummer
May 6, 2024 13:12 13m 56s keyboardDrummer:unsafeDependencies
keyboardDrummer:unsafeDependencies
May 6, 2024 13:12 13m 56s