Skip to content

Actions: dafny-lang/dafny

Actions

All workflows

Actions

Loading...
Loading

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

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Chore: Dafny to Rust refactorings Build and Test Dafny Standard Libraries #2822: Pull request #5513 synchronize by MikaelMayer
June 21, 2024 14:12 20m 6s chore-rust-refactorings
chore-rust-refactorings
June 21, 2024 14:12 20m 6s
Chore: Dafny to Rust refactorings Build and Test Dafny Runtimes #8093: Pull request #5513 synchronize by MikaelMayer
June 21, 2024 14:12 4m 2s chore-rust-refactorings
chore-rust-refactorings
June 21, 2024 14:12 4m 2s
Chore: Dafny to Rust refactorings Test documentation #9605: Pull request #5513 synchronize by MikaelMayer
June 21, 2024 14:12 17m 17s chore-rust-refactorings
chore-rust-refactorings
June 21, 2024 14:12 17m 17s
Chore: Dafny to Rust refactorings Build DafnyRef.pdf #17786: Pull request #5513 synchronize by MikaelMayer
June 21, 2024 14:12 2m 52s chore-rust-refactorings
chore-rust-refactorings
June 21, 2024 14:12 2m 52s
Chore: Dafny to Rust refactorings Build and Test #18556: Pull request #5513 synchronize by MikaelMayer
June 21, 2024 14:12 34m 5s chore-rust-refactorings
chore-rust-refactorings
June 21, 2024 14:12 34m 5s
Chore: Dafny to Rust refactorings Build and Test Dafny Standard Libraries #2821: Pull request #5513 synchronize by MikaelMayer
June 21, 2024 12:43 17m 6s chore-rust-refactorings
chore-rust-refactorings
June 21, 2024 12:43 17m 6s
Chore: Dafny to Rust refactorings Test documentation #9604: Pull request #5513 synchronize by MikaelMayer
June 21, 2024 12:43 17m 47s chore-rust-refactorings
chore-rust-refactorings
June 21, 2024 12:43 17m 47s
Chore: Dafny to Rust refactorings Build and Test Dafny Runtimes #8092: Pull request #5513 synchronize by MikaelMayer
June 21, 2024 12:43 4m 18s chore-rust-refactorings
chore-rust-refactorings
June 21, 2024 12:43 4m 18s
Chore: Dafny to Rust refactorings Build DafnyRef.pdf #17785: Pull request #5513 synchronize by MikaelMayer
June 21, 2024 12:43 3m 3s chore-rust-refactorings
chore-rust-refactorings
June 21, 2024 12:43 3m 3s
Chore: Dafny to Rust refactorings Build and Test #18555: Pull request #5513 synchronize by MikaelMayer
June 21, 2024 12:43 44m 49s chore-rust-refactorings
chore-rust-refactorings
June 21, 2024 12:43 44m 49s
Chore: Dafny to Rust refactorings Build and Test #18554: Pull request #5513 synchronize by MikaelMayer
June 21, 2024 12:21 33m 21s chore-rust-refactorings
chore-rust-refactorings
June 21, 2024 12:21 33m 21s
Chore: Dafny to Rust refactorings Build and Test Dafny Standard Libraries #2820: Pull request #5513 synchronize by MikaelMayer
June 21, 2024 12:21 17m 1s chore-rust-refactorings
chore-rust-refactorings
June 21, 2024 12:21 17m 1s
Chore: Dafny to Rust refactorings Build and Test Dafny Runtimes #8091: Pull request #5513 synchronize by MikaelMayer
June 21, 2024 12:21 3m 3s chore-rust-refactorings
chore-rust-refactorings
June 21, 2024 12:21 3m 3s
Chore: Dafny to Rust refactorings Build DafnyRef.pdf #17784: Pull request #5513 synchronize by MikaelMayer
June 21, 2024 12:21 2m 50s chore-rust-refactorings
chore-rust-refactorings
June 21, 2024 12:21 2m 50s
Chore: Dafny to Rust refactorings Test documentation #9603: Pull request #5513 synchronize by MikaelMayer
June 21, 2024 12:21 17m 24s chore-rust-refactorings
chore-rust-refactorings
June 21, 2024 12:21 17m 24s
Daily soak test workflow Daily soak test workflow #51: Scheduled
June 21, 2024 03:32 17m 39s master
master
June 21, 2024 03:32 17m 39s
chore: Remove typos in docs (#5529) Deploy Jekyll site to Pages #249: Commit e3273ad pushed by fabiomadge
June 20, 2024 21:03 42s master
master
June 20, 2024 21:03 42s
chore: Remove typos in docs Build and Test Dafny Runtimes #8090: Pull request #5529 synchronize by fabiomadge
June 20, 2024 20:30 4m 32s fabiomadge-patch-5
fabiomadge-patch-5
June 20, 2024 20:30 4m 32s
chore: Remove typos in docs Test documentation #9602: Pull request #5529 synchronize by fabiomadge
June 20, 2024 20:30 17m 28s fabiomadge-patch-5
fabiomadge-patch-5
June 20, 2024 20:30 17m 28s
chore: Remove typos in docs Build DafnyRef.pdf #17783: Pull request #5529 synchronize by fabiomadge
June 20, 2024 20:30 3m 7s fabiomadge-patch-5
fabiomadge-patch-5
June 20, 2024 20:30 3m 7s
chore: Remove typos in docs Build and Test Dafny Standard Libraries #2819: Pull request #5529 synchronize by fabiomadge
June 20, 2024 20:30 18m 27s fabiomadge-patch-5
fabiomadge-patch-5
June 20, 2024 20:30 18m 27s
chore: Remove typos in docs Build and Test #18553: Pull request #5529 synchronize by fabiomadge
June 20, 2024 20:30 33m 44s fabiomadge-patch-5
fabiomadge-patch-5
June 20, 2024 20:30 33m 44s
feat: Allow type parameters on newtypes Build DafnyRef.pdf #17782: Pull request #5495 synchronize by RustanLeino
June 20, 2024 19:00 2m 59s RustanLeino:newtype-type-params
RustanLeino:newtype-type-params
June 20, 2024 19:00 2m 59s
feat: Allow type parameters on newtypes Build and Test Dafny Runtimes #8089: Pull request #5495 synchronize by RustanLeino
June 20, 2024 19:00 4m 12s RustanLeino:newtype-type-params
RustanLeino:newtype-type-params
June 20, 2024 19:00 4m 12s
feat: Allow type parameters on newtypes Build and Test #18552: Pull request #5495 synchronize by RustanLeino
June 20, 2024 19:00 32m 4s RustanLeino:newtype-type-params
RustanLeino:newtype-type-params
June 20, 2024 19:00 32m 4s