Skip to content

Actions: dafny-lang/dafny

Actions

All workflows

Actions

Loading...

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

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Daily soak test workflow Daily soak test workflow #37: Scheduled
June 7, 2024 03:31 18m 26s master
master
June 7, 2024 03:31 18m 26s
Reverted internal prefix for every backend except Dafny Build and Test #18471: Pull request #5538 synchronize by MikaelMayer
June 7, 2024 00:19 55m 26s chore-compatibility-mpl
chore-compatibility-mpl
June 7, 2024 00:19 55m 26s
Reverted internal prefix for every backend except Dafny Build DafnyRef.pdf #17701: Pull request #5538 synchronize by MikaelMayer
June 7, 2024 00:19 2m 56s chore-compatibility-mpl
chore-compatibility-mpl
June 7, 2024 00:19 2m 56s
Reverted internal prefix for every backend except Dafny Build and Test Dafny Runtimes #8008: Pull request #5538 synchronize by MikaelMayer
June 7, 2024 00:19 4m 1s chore-compatibility-mpl
chore-compatibility-mpl
June 7, 2024 00:19 4m 1s
Reverted internal prefix for every backend except Dafny Build and Test Dafny Standard Libraries #2737: Pull request #5538 synchronize by MikaelMayer
June 7, 2024 00:19 28m 2s chore-compatibility-mpl
chore-compatibility-mpl
June 7, 2024 00:19 28m 2s
Reverted internal prefix for every backend except Dafny Test documentation #9520: Pull request #5538 synchronize by MikaelMayer
June 7, 2024 00:19 25m 30s chore-compatibility-mpl
chore-compatibility-mpl
June 7, 2024 00:19 25m 30s
Reverted internal prefix for every backend except Dafny Build DafnyRef.pdf #17700: Pull request #5538 opened by MikaelMayer
June 7, 2024 00:10 2m 40s chore-compatibility-mpl
chore-compatibility-mpl
June 7, 2024 00:10 2m 40s
Reverted internal prefix for every backend except Dafny Build and Test Dafny Runtimes #8007: Pull request #5538 opened by MikaelMayer
June 7, 2024 00:10 4m 9s chore-compatibility-mpl
chore-compatibility-mpl
June 7, 2024 00:10 4m 9s
Reverted internal prefix for every backend except Dafny Test documentation #9519: Pull request #5538 opened by MikaelMayer
June 7, 2024 00:10 17m 20s chore-compatibility-mpl
chore-compatibility-mpl
June 7, 2024 00:10 17m 20s
Reverted internal prefix for every backend except Dafny Build and Test #18470: Pull request #5538 opened by MikaelMayer
June 7, 2024 00:10 32m 27s chore-compatibility-mpl
chore-compatibility-mpl
June 7, 2024 00:10 32m 27s
Reverted internal prefix for every backend except Dafny Build and Test Dafny Standard Libraries #2736: Pull request #5538 opened by MikaelMayer
June 7, 2024 00:10 18m 36s chore-compatibility-mpl
chore-compatibility-mpl
June 7, 2024 00:10 18m 36s
feat: Allow type parameters on newtypes Build and Test #18469: Pull request #5495 synchronize by RustanLeino
June 6, 2024 19:44 23m 10s RustanLeino:newtype-type-params
RustanLeino:newtype-type-params
June 6, 2024 19:44 23m 10s
feat: Allow type parameters on newtypes Build and Test Dafny Runtimes #8006: Pull request #5495 synchronize by RustanLeino
June 6, 2024 19:44 4m 9s RustanLeino:newtype-type-params
RustanLeino:newtype-type-params
June 6, 2024 19:44 4m 9s
feat: Allow type parameters on newtypes Build DafnyRef.pdf #17699: Pull request #5495 synchronize by RustanLeino
June 6, 2024 19:44 2m 44s RustanLeino:newtype-type-params
RustanLeino:newtype-type-params
June 6, 2024 19:44 2m 44s
feat: Allow type parameters on newtypes Test documentation #9518: Pull request #5495 synchronize by RustanLeino
June 6, 2024 19:44 17m 24s RustanLeino:newtype-type-params
RustanLeino:newtype-type-params
June 6, 2024 19:44 17m 24s
feat: Allow type parameters on newtypes Build and Test Dafny Standard Libraries #2735: Pull request #5495 synchronize by RustanLeino
June 6, 2024 19:44 19m 37s RustanLeino:newtype-type-params
RustanLeino:newtype-type-params
June 6, 2024 19:44 19m 37s
chore: Clean up build (#5519) Deploy Jekyll site to Pages #233: Commit 430d485 pushed by RustanLeino
June 6, 2024 19:18 35s master
master
June 6, 2024 19:18 35s
chore: Clean up build Build and Test Dafny Standard Libraries #2734: Pull request #5519 synchronize by RustanLeino
June 6, 2024 18:14 47m 16s RustanLeino:clean-up-build
RustanLeino:clean-up-build
June 6, 2024 18:14 47m 16s
chore: Clean up build Build and Test #18468: Pull request #5519 synchronize by RustanLeino
June 6, 2024 18:14 1h 5m 24s RustanLeino:clean-up-build
RustanLeino:clean-up-build
June 6, 2024 18:14 1h 5m 24s
chore: Clean up build Build DafnyRef.pdf #17698: Pull request #5519 synchronize by RustanLeino
June 6, 2024 18:14 3m 3s RustanLeino:clean-up-build
RustanLeino:clean-up-build
June 6, 2024 18:14 3m 3s
chore: Clean up build Test documentation #9517: Pull request #5519 synchronize by RustanLeino
June 6, 2024 18:14 17m 9s RustanLeino:clean-up-build
RustanLeino:clean-up-build
June 6, 2024 18:14 17m 9s
chore: Clean up build Build and Test Dafny Runtimes #8005: Pull request #5519 synchronize by RustanLeino
June 6, 2024 18:14 3m 57s RustanLeino:clean-up-build
RustanLeino:clean-up-build
June 6, 2024 18:14 3m 57s
Chore: Dafny to Rust refactorings Build DafnyRef.pdf #17697: Pull request #5513 synchronize by MikaelMayer
June 6, 2024 17:53 2m 38s chore-rust-refactorings
chore-rust-refactorings
June 6, 2024 17:53 2m 38s
Chore: Dafny to Rust refactorings Build and Test Dafny Runtimes #8004: Pull request #5513 synchronize by MikaelMayer
June 6, 2024 17:53 4m 7s chore-rust-refactorings
chore-rust-refactorings
June 6, 2024 17:53 4m 7s
Chore: Dafny to Rust refactorings Build and Test Dafny Standard Libraries #2733: Pull request #5513 synchronize by MikaelMayer
June 6, 2024 17:53 18m 37s chore-rust-refactorings
chore-rust-refactorings
June 6, 2024 17:53 18m 37s