Skip to content

Actions: dafny-lang/dafny

Actions

All workflows

Actions

Loading...
Loading

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

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Add --find-project option Test documentation #9609: Pull request #5568 synchronize by keyboardDrummer
June 24, 2024 12:47 17m 12s keyboardDrummer:findProject
keyboardDrummer:findProject
June 24, 2024 12:47 17m 12s
Add --find-project option Build and Test Dafny Standard Libraries #2826: Pull request #5568 synchronize by keyboardDrummer
June 24, 2024 12:47 23s keyboardDrummer:findProject
keyboardDrummer:findProject
June 24, 2024 12:47 23s
Add --find-project option Build and Test Dafny Runtimes #8097: Pull request #5568 synchronize by keyboardDrummer
June 24, 2024 12:47 2m 57s keyboardDrummer:findProject
keyboardDrummer:findProject
June 24, 2024 12:47 2m 57s
Add --find-project option Build and Test Dafny Standard Libraries #2825: Pull request #5568 opened by keyboardDrummer
June 24, 2024 11:52 26s keyboardDrummer:findProject
keyboardDrummer:findProject
June 24, 2024 11:52 26s
Add --find-project option Build and Test #18559: Pull request #5568 opened by keyboardDrummer
June 24, 2024 11:52 33m 14s keyboardDrummer:findProject
keyboardDrummer:findProject
June 24, 2024 11:52 33m 14s
Add --find-project option Test documentation #9608: Pull request #5568 opened by keyboardDrummer
June 24, 2024 11:52 17m 13s keyboardDrummer:findProject
keyboardDrummer:findProject
June 24, 2024 11:52 17m 13s
Add --find-project option Build and Test Dafny Runtimes #8096: Pull request #5568 opened by keyboardDrummer
June 24, 2024 11:52 4m 3s keyboardDrummer:findProject
keyboardDrummer:findProject
June 24, 2024 11:52 4m 3s
Add --find-project option Build DafnyRef.pdf #17789: Pull request #5568 opened by keyboardDrummer
June 24, 2024 11:52 2m 46s keyboardDrummer:findProject
keyboardDrummer:findProject
June 24, 2024 11:52 2m 46s
Daily soak test workflow Daily soak test workflow #54: Scheduled
June 24, 2024 03:31 19m 3s master
master
June 24, 2024 03:31 19m 3s
fix: Ignore values not in a multiset when computing its hash in C# Build and Test Dafny Standard Libraries #2824: Pull request #5497 synchronize by fabiomadge
June 23, 2024 18:16 18m 55s fix_4011
fix_4011
June 23, 2024 18:16 18m 55s
fix: Ignore values not in a multiset when computing its hash in C# Test documentation #9607: Pull request #5497 synchronize by fabiomadge
June 23, 2024 18:16 17m 31s fix_4011
fix_4011
June 23, 2024 18:16 17m 31s
fix: Ignore values not in a multiset when computing its hash in C# Build and Test #18558: Pull request #5497 synchronize by fabiomadge
June 23, 2024 18:16 59m 13s fix_4011
fix_4011
June 23, 2024 18:16 59m 13s
fix: Ignore values not in a multiset when computing its hash in C# Build DafnyRef.pdf #17788: Pull request #5497 synchronize by fabiomadge
June 23, 2024 18:16 3m 19s fix_4011
fix_4011
June 23, 2024 18:16 3m 19s
fix: Ignore values not in a multiset when computing its hash in C# Build and Test Dafny Runtimes #8095: Pull request #5497 synchronize by fabiomadge
June 23, 2024 18:16 4m 0s fix_4011
fix_4011
June 23, 2024 18:16 4m 0s
Nightly test and release workflow Nightly test and release workflow #312: Scheduled
June 23, 2024 14:32 1h 8m 30s master
master
June 23, 2024 14:32 1h 8m 30s
Daily soak test workflow Daily soak test workflow #53: Scheduled
June 23, 2024 03:30 18m 35s master
master
June 23, 2024 03:30 18m 35s
Nightly test and release workflow Nightly test and release workflow #311: Scheduled
June 22, 2024 14:32 26m 44s master
master
June 22, 2024 14:32 26m 44s
Daily soak test workflow Daily soak test workflow #52: Scheduled
June 22, 2024 03:32 16m 29s master
master
June 22, 2024 03:32 16m 29s
Chore: Dafny to Rust refactorings (#5513) Deploy Jekyll site to Pages #250: Commit 0860638 pushed by MikaelMayer
June 22, 2024 01:41 41s master
master
June 22, 2024 01:41 41s
Chore: Dafny to Rust refactorings Build and Test Dafny Runtimes #8094: Pull request #5513 synchronize by MikaelMayer
June 21, 2024 16:27 4m 1s chore-rust-refactorings
chore-rust-refactorings
June 21, 2024 16:27 4m 1s
Chore: Dafny to Rust refactorings Build and Test Dafny Standard Libraries #2823: Pull request #5513 synchronize by MikaelMayer
June 21, 2024 16:27 16m 33s chore-rust-refactorings
chore-rust-refactorings
June 21, 2024 16:27 16m 33s
Chore: Dafny to Rust refactorings Build and Test #18557: Pull request #5513 synchronize by MikaelMayer
June 21, 2024 16:27 34m 0s chore-rust-refactorings
chore-rust-refactorings
June 21, 2024 16:27 34m 0s
Chore: Dafny to Rust refactorings Build DafnyRef.pdf #17787: Pull request #5513 synchronize by MikaelMayer
June 21, 2024 16:27 2m 53s chore-rust-refactorings
chore-rust-refactorings
June 21, 2024 16:27 2m 53s
Chore: Dafny to Rust refactorings Test documentation #9606: Pull request #5513 synchronize by MikaelMayer
June 21, 2024 16:27 17m 15s chore-rust-refactorings
chore-rust-refactorings
June 21, 2024 16:27 17m 15s
Nightly test and release workflow Nightly test and release workflow #310: Scheduled
June 21, 2024 14:32 1h 10m 11s master
master
June 21, 2024 14:32 1h 10m 11s