Skip to content

Actions: olivier-aws/dafny

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
121 workflow runs
121 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 DafnyRef.pdf #12: Pull request #2 synchronize by olivier-aws
January 6, 2025 23:00 2m 42s fix_5746
fix_5746
January 6, 2025 23:00 2m 42s
Fix 5746 Fuzzing on PR #12: Pull request #2 synchronize by olivier-aws
January 6, 2025 23:00 11s
January 6, 2025 23:00 11s
Fix 5746 Build DafnyRef.pdf #11: Pull request #2 synchronize by olivier-aws
January 6, 2025 21:15 3m 52s fix_5746
fix_5746
January 6, 2025 21:15 3m 52s
Fix 5746 Build and Test Dafny Runtimes #11: Pull request #2 synchronize by olivier-aws
January 6, 2025 21:15 6m 15s fix_5746
fix_5746
January 6, 2025 21:15 6m 15s
Fix 5746 Build and Test Dafny Standard Libraries #11: Pull request #2 synchronize by olivier-aws
January 6, 2025 21:15 33m 0s fix_5746
fix_5746
January 6, 2025 21:15 33m 0s
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 Test documentation #11: Pull request #2 synchronize by olivier-aws
January 6, 2025 21:15 31m 51s fix_5746
fix_5746
January 6, 2025 21:15 31m 51s
Fix 5746 Fuzzing on PR #11: Pull request #2 synchronize by olivier-aws
January 6, 2025 21:15 13s
January 6, 2025 21:15 13s
Fix 5746 Build and Test Dafny Runtimes #10: Pull request #2 synchronize by olivier-aws
January 6, 2025 21:13 4m 21s fix_5746
fix_5746
January 6, 2025 21:13 4m 21s
Fix 5746 Build DafnyRef.pdf #10: Pull request #2 synchronize by olivier-aws
January 6, 2025 21:13 2m 56s fix_5746
fix_5746
January 6, 2025 21:13 2m 56s
Fix 5746 Build and Test Dafny Standard Libraries #10: Pull request #2 synchronize by olivier-aws
January 6, 2025 21:13 18m 33s fix_5746
fix_5746
January 6, 2025 21:13 18m 33s
Fix 5746 Test documentation #10: Pull request #2 synchronize by olivier-aws
January 6, 2025 21:13 17m 3s fix_5746
fix_5746
January 6, 2025 21:13 17m 3s
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 Fuzzing on PR #10: Pull request #2 synchronize by olivier-aws
January 6, 2025 21:13 14s
January 6, 2025 21:13 14s
Fix 5746 Test documentation #9: Pull request #2 opened by olivier-aws
January 6, 2025 20:49 17m 51s fix_5746
fix_5746
January 6, 2025 20:49 17m 51s
Fix 5746 Build and Test Dafny Standard Libraries #9: Pull request #2 opened by olivier-aws
January 6, 2025 20:49 17m 31s fix_5746
fix_5746
January 6, 2025 20:49 17m 31s
Fix 5746 Build and Test Dafny Runtimes #9: Pull request #2 opened by olivier-aws
January 6, 2025 20:49 4m 13s fix_5746
fix_5746
January 6, 2025 20:49 4m 13s
Fix 5746 Build DafnyRef.pdf #9: Pull request #2 opened by olivier-aws
January 6, 2025 20:49 2m 59s fix_5746
fix_5746
January 6, 2025 20:49 2m 59s
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
Fix 5746 Fuzzing on PR #9: Pull request #2 opened by olivier-aws
January 6, 2025 20:49 18s
January 6, 2025 20:49 18s
Do not generate import of modules in Java (#6016) Deploy Jekyll site to Pages #2: Commit 4ecc4bf pushed by olivier-aws
January 3, 2025 21:29 18s master
master
January 3, 2025 21:29 18s
Use CanCall everywhere (#5654) Deploy Jekyll site to Pages #1: Commit 79e4047 pushed by olivier-aws
January 3, 2025 20:41 41s master
master
January 3, 2025 20:41 41s
[DRAFT] Do not generate import of modules in Java Test documentation #8: Pull request #1 synchronize by olivier-aws
January 3, 2025 20:38 17m 34s java_no_import
java_no_import
January 3, 2025 20:38 17m 34s
[DRAFT] Do not generate import of modules in Java Build DafnyRef.pdf #8: Pull request #1 synchronize by olivier-aws
January 3, 2025 20:38 2m 47s java_no_import
java_no_import
January 3, 2025 20:38 2m 47s