Skip to content

Actions: dafny-lang/dafny

Actions

Build and Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
msbuild.yml
3,867 workflow runs
3,867 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use C# 12 features Build and Test #20149: Pull request #6070 synchronize by keyboardDrummer
January 24, 2025 10:09 27m 48s keyboardDrummer:cSharp12
keyboardDrummer:cSharp12
January 24, 2025 10:09 27m 48s
feat: Actions and streaming standard libraries Build and Test #20148: Pull request #6074 synchronize by robin-aws
January 24, 2025 06:00 27m 44s actions-and-streaming-stdlibs
actions-and-streaming-stdlibs
January 24, 2025 06:00 27m 44s
feat: Actions and streaming standard libraries Build and Test #20147: Pull request #6074 opened by robin-aws
January 24, 2025 00:41 28m 19s actions-and-streaming-stdlibs
actions-and-streaming-stdlibs
January 24, 2025 00:41 28m 19s
Feat: Ability to emit sync-compatible Rust code. Build and Test #20146: Pull request #6040 synchronize by MikaelMayer
January 23, 2025 22:49 45m 48s fix-5969-sync-for-rust
fix-5969-sync-for-rust
January 23, 2025 22:49 45m 48s
Fix: --compile-suffix avoids the extra renaming of homonymous classes Build and Test #20145: Pull request #6073 synchronize by MikaelMayer
January 23, 2025 22:43 28m 47s fix-6072-compile-suffix
fix-6072-compile-suffix
January 23, 2025 22:43 28m 47s
chore(Python): Improve slicing performance Build and Test #20144: Pull request #6042 synchronize by lucasmcdonald3
January 23, 2025 22:28 45m 22s lucasmcdonald3:python-lazy-slicing
lucasmcdonald3:python-lazy-slicing
January 23, 2025 22:28 45m 22s
chore(Python): Improve slicing performance Build and Test #20143: Pull request #6042 synchronize by lucasmcdonald3
January 23, 2025 22:28 19s lucasmcdonald3:python-lazy-slicing
lucasmcdonald3:python-lazy-slicing
January 23, 2025 22:28 19s
chore(Python): Improve slicing performance Build and Test #20142: Pull request #6042 synchronize by lucasmcdonald3
January 23, 2025 22:28 15s lucasmcdonald3:python-lazy-slicing
lucasmcdonald3:python-lazy-slicing
January 23, 2025 22:28 15s
Feat code actions forall calc Build and Test #20141: Pull request #6044 synchronize by MikaelMayer
January 23, 2025 21:28 32m 2s feat-code-actions-forall-calc
feat-code-actions-forall-calc
January 23, 2025 21:28 32m 2s
chore(Python): Improve slicing performance Build and Test #20140: Pull request #6042 synchronize by lucasmcdonald3
January 23, 2025 21:28 18m 4s lucasmcdonald3:python-lazy-slicing
lucasmcdonald3:python-lazy-slicing
January 23, 2025 21:28 18m 4s
Chore: Fine-tuning verification and compilation performance Build and Test #20139: Pull request #5028 synchronize by MikaelMayer
January 23, 2025 19:22 41m 41s chore-performance-optimization
chore-performance-optimization
January 23, 2025 19:22 41m 41s
Chore: Fine-tuning verification and compilation performance Build and Test #20138: Pull request #5028 synchronize by MikaelMayer
January 23, 2025 19:22 22s chore-performance-optimization
chore-performance-optimization
January 23, 2025 19:22 22s
Fix: Modifies clauses with set operations can now be proven Build and Test #20137: Pull request #3336 synchronize by MikaelMayer
January 23, 2025 19:22 14m 42s fix-3265-cant-prove-modifies-clause
fix-3265-cant-prove-modifies-clause
January 23, 2025 19:22 14m 42s
Chore: Update documentation about arrow types Build and Test #20136: Pull request #4521 synchronize by MikaelMayer
January 23, 2025 19:20 29m 0s chore-fix-documentation-arrow-types
chore-fix-documentation-arrow-types
January 23, 2025 19:20 29m 0s
Fix: --compile-suffix avoids the extra renaming of homonymous classes Build and Test #20135: Pull request #6073 synchronize by MikaelMayer
January 23, 2025 19:17 53m 29s fix-6072-compile-suffix
fix-6072-compile-suffix
January 23, 2025 19:17 53m 29s
Fix: --compile-suffix avoids the extra renaming of homonymous classes Build and Test #20134: Pull request #6073 opened by MikaelMayer
January 23, 2025 19:02 27m 45s fix-6072-compile-suffix
fix-6072-compile-suffix
January 23, 2025 19:02 27m 45s
Fixes: Rust supports overriding traits Build and Test #20133: Pull request #5948 synchronize by MikaelMayer
January 23, 2025 18:23 27m 14s feat-rust-support-overriding-trait
feat-rust-support-overriding-trait
January 23, 2025 18:23 27m 14s
Chore: No formatting of the generated Rust file but better indent Build and Test #20132: Pull request #6069 synchronize by MikaelMayer
January 23, 2025 17:49 32m 26s chore-no-format
chore-no-format
January 23, 2025 17:49 32m 26s
Feat code actions forall calc Build and Test #20131: Pull request #6044 synchronize by MikaelMayer
January 23, 2025 17:45 52m 16s feat-code-actions-forall-calc
feat-code-actions-forall-calc
January 23, 2025 17:45 52m 16s
Feat code actions forall calc Build and Test #20130: Pull request #6044 synchronize by MikaelMayer
January 23, 2025 17:40 28m 48s feat-code-actions-forall-calc
feat-code-actions-forall-calc
January 23, 2025 17:40 28m 48s
Chore: Not generate boogie translation if not verifying Build and Test #20129: Pull request #6067 synchronize by MikaelMayer
January 23, 2025 16:53 48m 15s chore-do-boogie-translation
chore-do-boogie-translation
January 23, 2025 16:53 48m 15s
Chore: Not generate boogie translation if not verifying Build and Test #20128: Pull request #6067 synchronize by MikaelMayer
January 23, 2025 16:48 27m 13s chore-do-boogie-translation
chore-do-boogie-translation
January 23, 2025 16:48 27m 13s
Feat: Ability to emit sync-compatible Rust code. Build and Test #20127: Pull request #6040 synchronize by MikaelMayer
January 23, 2025 16:34 30m 58s fix-5969-sync-for-rust
fix-5969-sync-for-rust
January 23, 2025 16:34 30m 58s
Chore: Not generate boogie translation if not verifying Build and Test #20126: Pull request #6067 synchronize by MikaelMayer
January 23, 2025 15:38 38m 36s chore-do-boogie-translation
chore-do-boogie-translation
January 23, 2025 15:38 38m 36s
Use C# 12 features Build and Test #20125: Pull request #6070 synchronize by keyboardDrummer
January 23, 2025 15:37 56m 32s keyboardDrummer:cSharp12
keyboardDrummer:cSharp12
January 23, 2025 15:37 56m 32s