Skip to content

Actions: olivier-aws/dafny

Actions

Build and Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
msbuild.yml
This workflow was disabled manually.
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix 5746 Build and Test #18: Pull request #2 synchronize by olivier-aws
January 7, 2025 22:29 26m 13s fix_5746
fix_5746
January 7, 2025 22:29 26m 13s
Fix 5746 Build and Test #17: Pull request #2 synchronize by olivier-aws
January 7, 2025 21:26 28m 1s fix_5746
fix_5746
January 7, 2025 21:26 28m 1s
Fix 5746 Build and Test #16: Pull request #2 synchronize by olivier-aws
January 7, 2025 18:50 27m 41s fix_5746
fix_5746
January 7, 2025 18:50 27m 41s
Fix 5746 Build and Test #15: Pull request #2 synchronize by olivier-aws
January 7, 2025 16:09 33m 1s fix_5746
fix_5746
January 7, 2025 16:09 33m 1s
Fix 5746 Build and Test #14: Pull request #2 synchronize by olivier-aws
January 7, 2025 15:45 27m 44s fix_5746
fix_5746
January 7, 2025 15:45 27m 44s
Fix 5746 Build and Test #13: Pull request #2 synchronize by olivier-aws
January 7, 2025 03:39 26m 50s fix_5746
fix_5746
January 7, 2025 03:39 26m 50s
Fix 5746 Build and Test #12: Pull request #2 synchronize by olivier-aws
January 6, 2025 23:00 26m 9s fix_5746
fix_5746
January 6, 2025 23:00 26m 9s
Fix 5746 Build and Test #11: Pull request #2 synchronize by olivier-aws
January 6, 2025 21:15 30m 50s fix_5746
fix_5746
January 6, 2025 21:15 30m 50s
Fix 5746 Build and Test #10: Pull request #2 synchronize by olivier-aws
January 6, 2025 21:13 1m 57s fix_5746
fix_5746
January 6, 2025 21:13 1m 57s
Fix 5746 Build and Test #9: Pull request #2 opened by olivier-aws
January 6, 2025 20:49 30m 34s fix_5746
fix_5746
January 6, 2025 20:49 30m 34s
[DRAFT] Do not generate import of modules in Java Build and Test #8: Pull request #1 synchronize by olivier-aws
January 3, 2025 20:38 26m 33s java_no_import
java_no_import
January 3, 2025 20:38 26m 33s
[DRAFT] Do not generate import of modules in Java Build and Test #7: Pull request #1 synchronize by olivier-aws
January 3, 2025 19:54 29m 41s java_no_import
java_no_import
January 3, 2025 19:54 29m 41s
[DRAFT] Do not generate import of modules in Java Build and Test #6: Pull request #1 synchronize by olivier-aws
January 3, 2025 19:11 28m 39s java_no_import
java_no_import
January 3, 2025 19:11 28m 39s
[DRAFT] Do not generate import of modules in Java Build and Test #5: Pull request #1 synchronize by olivier-aws
January 3, 2025 18:20 28m 5s java_no_import
java_no_import
January 3, 2025 18:20 28m 5s
[DRAFT] Do not generate import of modules in Java Build and Test #4: Pull request #1 synchronize by olivier-aws
January 3, 2025 17:05 39m 6s java_no_import
java_no_import
January 3, 2025 17:05 39m 6s
[DRAFT] Do not generate import of modules in Java Build and Test #3: Pull request #1 synchronize by olivier-aws
January 3, 2025 16:37 38m 22s java_no_import
java_no_import
January 3, 2025 16:37 38m 22s
[DRAFT] Do not generate import of modules in Java Build and Test #2: Pull request #1 synchronize by olivier-aws
January 3, 2025 16:15 31m 59s java_no_import
java_no_import
January 3, 2025 16:15 31m 59s
[DRAFT] Do not generate import of modules in Java Build and Test #1: Pull request #1 opened by olivier-aws
January 3, 2025 14:23 1h 6m 17s java_no_import
java_no_import
January 3, 2025 14:23 1h 6m 17s