Skip to content

Actions: dafny-lang/dafny

Actions

All workflows

Actions

Loading...

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

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Chore: Dafny to Rust refactorings Build DafnyRef.pdf #17757: Pull request #5513 synchronize by MikaelMayer
June 13, 2024 12:36 2m 33s chore-rust-refactorings
chore-rust-refactorings
June 13, 2024 12:36 2m 33s
Chore: Dafny to Rust refactorings Build and Test Dafny Runtimes #8064: Pull request #5513 synchronize by MikaelMayer
June 13, 2024 12:36 5m 9s chore-rust-refactorings
chore-rust-refactorings
June 13, 2024 12:36 5m 9s
Chore: Dafny to Rust refactorings Build and Test #18527: Pull request #5513 synchronize by MikaelMayer
June 13, 2024 12:36 30m 5s chore-rust-refactorings
chore-rust-refactorings
June 13, 2024 12:36 30m 5s
Chore: Dafny to Rust refactorings Test documentation #9576: Pull request #5513 synchronize by MikaelMayer
June 13, 2024 12:36 19m 24s chore-rust-refactorings
chore-rust-refactorings
June 13, 2024 12:36 19m 24s
Chore: Dafny to Rust refactorings Build and Test Dafny Standard Libraries #2793: Pull request #5513 synchronize by MikaelMayer
June 13, 2024 12:36 18m 2s chore-rust-refactorings
chore-rust-refactorings
June 13, 2024 12:36 18m 2s
Daily soak test workflow Daily soak test workflow #43: Scheduled
June 13, 2024 03:31 18m 51s master
master
June 13, 2024 03:31 18m 51s
Chore: Dafny to Rust refactorings Build DafnyRef.pdf #17756: Pull request #5513 synchronize by MikaelMayer
June 13, 2024 02:01 2m 56s chore-rust-refactorings
chore-rust-refactorings
June 13, 2024 02:01 2m 56s
Chore: Dafny to Rust refactorings Build and Test #18526: Pull request #5513 synchronize by MikaelMayer
June 13, 2024 02:01 29m 8s chore-rust-refactorings
chore-rust-refactorings
June 13, 2024 02:01 29m 8s
Chore: Dafny to Rust refactorings Build and Test Dafny Runtimes #8063: Pull request #5513 synchronize by MikaelMayer
June 13, 2024 02:01 2m 45s chore-rust-refactorings
chore-rust-refactorings
June 13, 2024 02:01 2m 45s
Chore: Dafny to Rust refactorings Test documentation #9575: Pull request #5513 synchronize by MikaelMayer
June 13, 2024 02:01 21m 16s chore-rust-refactorings
chore-rust-refactorings
June 13, 2024 02:01 21m 16s
Chore: Dafny to Rust refactorings Build and Test Dafny Standard Libraries #2792: Pull request #5513 synchronize by MikaelMayer
June 13, 2024 02:01 18m 51s chore-rust-refactorings
chore-rust-refactorings
June 13, 2024 02:01 18m 51s
Fix: No new resolver crash with partially resolved datatype update expressions Build and Test Dafny Standard Libraries #2791: Pull request #5440 synchronize by MikaelMayer
June 13, 2024 01:27 19m 14s fix-5331-internal-error-system-nullreferenceexception
fix-5331-internal-error-system-nullreferenceexception
June 13, 2024 01:27 19m 14s
Fix: No new resolver crash with partially resolved datatype update expressions Build DafnyRef.pdf #17755: Pull request #5440 synchronize by MikaelMayer
June 13, 2024 01:27 3m 2s fix-5331-internal-error-system-nullreferenceexception
fix-5331-internal-error-system-nullreferenceexception
June 13, 2024 01:27 3m 2s
Fix: No new resolver crash with partially resolved datatype update expressions Test documentation #9574: Pull request #5440 synchronize by MikaelMayer
June 13, 2024 01:27 17m 31s fix-5331-internal-error-system-nullreferenceexception
fix-5331-internal-error-system-nullreferenceexception
June 13, 2024 01:27 17m 31s
Fix: No new resolver crash with partially resolved datatype update expressions Build and Test #18525: Pull request #5440 synchronize by MikaelMayer
June 13, 2024 01:27 26m 52s fix-5331-internal-error-system-nullreferenceexception
fix-5331-internal-error-system-nullreferenceexception
June 13, 2024 01:27 26m 52s
Fix: No new resolver crash with partially resolved datatype update expressions Build and Test Dafny Runtimes #8062: Pull request #5440 synchronize by MikaelMayer
June 13, 2024 01:27 3m 53s fix-5331-internal-error-system-nullreferenceexception
fix-5331-internal-error-system-nullreferenceexception
June 13, 2024 01:27 3m 53s
Chore: Dafny to Rust refactorings Test documentation #9573: Pull request #5513 synchronize by MikaelMayer
June 12, 2024 20:15 17m 13s chore-rust-refactorings
chore-rust-refactorings
June 12, 2024 20:15 17m 13s
Chore: Dafny to Rust refactorings Build and Test Dafny Runtimes #8061: Pull request #5513 synchronize by MikaelMayer
June 12, 2024 20:15 3m 3s chore-rust-refactorings
chore-rust-refactorings
June 12, 2024 20:15 3m 3s
Chore: Dafny to Rust refactorings Build and Test #18524: Pull request #5513 synchronize by MikaelMayer
June 12, 2024 20:15 29m 33s chore-rust-refactorings
chore-rust-refactorings
June 12, 2024 20:15 29m 33s
Chore: Dafny to Rust refactorings Build DafnyRef.pdf #17754: Pull request #5513 synchronize by MikaelMayer
June 12, 2024 20:15 2m 59s chore-rust-refactorings
chore-rust-refactorings
June 12, 2024 20:15 2m 59s
Chore: Dafny to Rust refactorings Build and Test Dafny Standard Libraries #2790: Pull request #5513 synchronize by MikaelMayer
June 12, 2024 20:15 18m 13s chore-rust-refactorings
chore-rust-refactorings
June 12, 2024 20:15 18m 13s
fix: Disambiguation priority not preserved when importing modules Build and Test Dafny Runtimes #8060: Pull request #5498 synchronize by stefan-aws
June 12, 2024 17:25 3m 58s fix-git-4364
fix-git-4364
June 12, 2024 17:25 3m 58s
fix: Disambiguation priority not preserved when importing modules Build and Test Dafny Standard Libraries #2789: Pull request #5498 synchronize by stefan-aws
June 12, 2024 17:25 6m 52s fix-git-4364
fix-git-4364
June 12, 2024 17:25 6m 52s
fix: Disambiguation priority not preserved when importing modules Build and Test #18523: Pull request #5498 synchronize by stefan-aws
June 12, 2024 17:25 36m 13s fix-git-4364
fix-git-4364
June 12, 2024 17:25 36m 13s
fix: Disambiguation priority not preserved when importing modules Test documentation #9572: Pull request #5498 synchronize by stefan-aws
June 12, 2024 17:25 10m 5s fix-git-4364
fix-git-4364
June 12, 2024 17:25 10m 5s