Skip to content

Actions: dafny-lang/dafny

Actions

Build and Test

Actions

Loading...

Show workflow options

Create status badge

msbuild.yml
6,621 workflow runs
6,621 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Do not flatten matches for C# Build and Test #18367: Pull request #5509 synchronize by keyboardDrummer
June 1, 2024 09:26 18s keyboardDrummer:noFlattenForCSharp
keyboardDrummer:noFlattenForCSharp
June 1, 2024 09:26 18s
Chore: Dafny to Rust refactorings Build and Test #18366: Pull request #5513 synchronize by MikaelMayer
June 1, 2024 02:02 21s chore-rust-refactorings
chore-rust-refactorings
June 1, 2024 02:02 21s
Chore: Using instantiated type for coercion Build and Test #18365: Pull request #5511 synchronize by MikaelMayer
May 31, 2024 22:14 21s chore-ensre-correct-type-coercion
chore-ensre-correct-type-coercion
May 31, 2024 22:14 21s
feat: python-module-name Build and Test #18364: Pull request #5461 synchronize by lucasmcdonald3
May 31, 2024 21:35 Action required lucasmcdonald3:lucmcdon/python-modules
lucasmcdonald3:lucmcdon/python-modules
May 31, 2024 21:35 Action required
Fix: No new resolver crash with partially resolved datatype update expressions Build and Test #18363: Pull request #5440 synchronize by MikaelMayer
May 31, 2024 20:37 16s fix-5331-internal-error-system-nullreferenceexception
fix-5331-internal-error-system-nullreferenceexception
May 31, 2024 20:37 16s
Fix: No new resolver crash with partially resolved datatype update expressions Build and Test #18362: Pull request #5440 synchronize by MikaelMayer
May 31, 2024 19:43 8m 20s fix-5331-internal-error-system-nullreferenceexception
fix-5331-internal-error-system-nullreferenceexception
May 31, 2024 19:43 8m 20s
Chore: Dafny to Rust refactorings Build and Test #18361: Pull request #5513 synchronize by MikaelMayer
May 31, 2024 19:34 1h 0m 45s chore-rust-refactorings
chore-rust-refactorings
May 31, 2024 19:34 1h 0m 45s
Do not flatten matches for C# Build and Test #18360: Pull request #5509 synchronize by keyboardDrummer
May 31, 2024 18:31 39m 43s keyboardDrummer:noFlattenForCSharp
keyboardDrummer:noFlattenForCSharp
May 31, 2024 18:31 39m 43s
Add timeout support to tests of TestGeneration.Test Build and Test #18359: Pull request #5512 synchronize by keyboardDrummer
May 31, 2024 18:09 1h 0m 52s keyboardDrummer:timeoutSupportToTestGenerator
keyboardDrummer:timeoutSupportToTestGenerator
May 31, 2024 18:09 1h 0m 52s
Do not flatten matches for C# Build and Test #18358: Pull request #5509 synchronize by keyboardDrummer
May 31, 2024 18:05 30s keyboardDrummer:noFlattenForCSharp
keyboardDrummer:noFlattenForCSharp
May 31, 2024 18:05 30s
Do not flatten matches for C# Build and Test #18357: Pull request #5509 synchronize by keyboardDrummer
May 31, 2024 18:05 18s keyboardDrummer:noFlattenForCSharp
keyboardDrummer:noFlattenForCSharp
May 31, 2024 18:05 18s
Fix minor README typo Build and Test #18356: Pull request #5514 synchronize by lucasmcdonald3
May 31, 2024 17:58 1h 0m 32s lucasmcdonald3:give-lucas-permissions
lucasmcdonald3:give-lucas-permissions
May 31, 2024 17:58 1h 0m 32s
Fix minor README typo Build and Test #18355: Pull request #5514 opened by lucasmcdonald3
May 31, 2024 17:57 Action required lucasmcdonald3:give-lucas-permissions
lucasmcdonald3:give-lucas-permissions
May 31, 2024 17:57 Action required
feat: python-module-name Build and Test #18354: Pull request #5461 synchronize by lucasmcdonald3
May 31, 2024 17:46 17s lucasmcdonald3:lucmcdon/python-modules
lucasmcdonald3:lucmcdon/python-modules
May 31, 2024 17:46 17s
feat: python-module-name Build and Test #18353: Pull request #5461 synchronize by lucasmcdonald3
May 31, 2024 17:45 Action required lucasmcdonald3:lucmcdon/python-modules
lucasmcdonald3:lucmcdon/python-modules
May 31, 2024 17:45 Action required
feat: python-module-name Build and Test #18352: Pull request #5461 synchronize by lucasmcdonald3
May 31, 2024 17:43 Action required lucasmcdonald3:lucmcdon/python-modules
lucasmcdonald3:lucmcdon/python-modules
May 31, 2024 17:43 Action required
feat: python-module-name Build and Test #18351: Pull request #5461 synchronize by lucasmcdonald3
May 31, 2024 17:33 Action required lucasmcdonald3:lucmcdon/python-modules
lucasmcdonald3:lucmcdon/python-modules
May 31, 2024 17:33 Action required
Chore: No extra newtype test Build and Test #18350: Pull request #5506 synchronize by MikaelMayer
May 31, 2024 16:26 43m 17s chore-no-extra-newtype-test
chore-no-extra-newtype-test
May 31, 2024 16:26 43m 17s
chore: remove byte-order mark from test files Build and Test #18349: Pull request #5507 synchronize by alex-chew
May 31, 2024 16:19 1h 4m 11s alexchew/remove-bom
alexchew/remove-bom
May 31, 2024 16:19 1h 4m 11s
Chore: Dafny to Rust refactorings Build and Test #18348: Pull request #5513 opened by MikaelMayer
May 31, 2024 16:03 33m 52s chore-rust-refactorings
chore-rust-refactorings
May 31, 2024 16:03 33m 52s
Do not flatten matches for C# Build and Test #18347: Pull request #5509 synchronize by keyboardDrummer
May 31, 2024 14:14 40m 37s keyboardDrummer:noFlattenForCSharp
keyboardDrummer:noFlattenForCSharp
May 31, 2024 14:14 40m 37s
Add timeout support to tests of TestGeneration.Test Build and Test #18346: Pull request #5512 opened by keyboardDrummer
May 31, 2024 14:03 57m 49s keyboardDrummer:timeoutSupportToTestGenerator
keyboardDrummer:timeoutSupportToTestGenerator
May 31, 2024 14:03 57m 49s
Do not flatten matches for C# Build and Test #18345: Pull request #5509 synchronize by keyboardDrummer
May 31, 2024 13:10 1h 0m 56s keyboardDrummer:noFlattenForCSharp
keyboardDrummer:noFlattenForCSharp
May 31, 2024 13:10 1h 0m 56s
Do not flatten matches for C# Build and Test #18344: Pull request #5509 synchronize by keyboardDrummer
May 31, 2024 10:09 39m 9s keyboardDrummer:noFlattenForCSharp
keyboardDrummer:noFlattenForCSharp
May 31, 2024 10:09 39m 9s
Improve code navigation for unreferenced declaration Build and Test #18343: Pull request #5483 synchronize by keyboardDrummer
May 31, 2024 08:13 29m 9s keyboardDrummer:unreferencedDeclaration
keyboardDrummer:unreferencedDeclaration
May 31, 2024 08:13 29m 9s