Skip to content

Actions: JetBrains-Research/HumanEval-Dafny

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
118 workflow runs
118 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add text descriptions of the tasks (#54) Test All Dafny Files #22: Commit 0887bd1 pushed by WeetHet
October 16, 2024 10:20 5m 17s main
main
October 16, 2024 10:20 5m 17s
Add text descriptions of the tasks Test New Dafny Files #25: Pull request #54 opened by WeetHet
October 16, 2024 10:20 40s text-descriptions
text-descriptions
October 16, 2024 10:20 40s
Fix 111 to not use generic with comma in method def Test All Dafny Files #21: Commit a4c0dd6 pushed by WeetHet
October 8, 2024 08:22 5m 26s main
main
October 8, 2024 08:22 5m 26s
Correct annotations in 008-sum_product.dfy (#53) Test All Dafny Files #20: Commit 5a7e344 pushed by WeetHet
October 8, 2024 08:11 5m 17s main
main
October 8, 2024 08:11 5m 17s
Correct annotations in 008-sum_product.dfy Test New Dafny Files #24: Pull request #53 opened by jesyspa
October 7, 2024 12:29 43s 008-sum-product-patch
008-sum-product-patch
October 7, 2024 12:29 43s
Minor fixes, implementation of 018-how_many_times (#52) Test All Dafny Files #19: Commit a50f3ab pushed by WeetHet
October 2, 2024 13:49 5m 19s main
main
October 2, 2024 13:49 5m 19s
Minor fixes, implementation of 018-how_many_times Test New Dafny Files #23: Pull request #52 synchronize by jesyspa
October 2, 2024 13:42 1m 17s spec-review
spec-review
October 2, 2024 13:42 1m 17s
Minor fixes, implementation of 018-how_many_times Test New Dafny Files #22: Pull request #52 opened by jesyspa
October 2, 2024 13:35 27s spec-review
spec-review
October 2, 2024 13:35 27s
Change files to ensure correct codegen (#50) Test All Dafny Files #18: Commit 9223614 pushed by WeetHet
October 2, 2024 10:38 5m 10s main
main
October 2, 2024 10:38 5m 10s
Change files to ensure correct codegen Test New Dafny Files #21: Pull request #50 synchronize by WeetHet
October 2, 2024 10:36 47s better-codegen
better-codegen
October 2, 2024 10:36 47s
Change files to ensure correct codegen Test New Dafny Files #20: Pull request #50 opened by WeetHet
October 2, 2024 10:35 28s better-codegen
better-codegen
October 2, 2024 10:35 28s
Review files 000 and 001 (#42) Test All Dafny Files #17: Commit ea4d330 pushed by WeetHet
September 30, 2024 09:14 5m 7s main
main
September 30, 2024 09:14 5m 7s
Review files 000 and 001 Test New Dafny Files #19: Pull request #42 opened by jesyspa
September 27, 2024 10:09 48s spec-review
spec-review
September 27, 2024 10:09 48s
Fix 016 to also check upper chars Test All Dafny Files #16: Commit f67ed37 pushed by WeetHet
September 18, 2024 06:27 5m 9s main
main
September 18, 2024 06:27 5m 9s
Add Apache 2.0 license (Unnamed workflow) #1: Commit 197aca2 pushed by WeetHet
September 10, 2024 15:47 Startup failure main
main
September 10, 2024 15:47 Startup failure
Check all files contain an // impl-start comment (#41) Test All Dafny Files #15: Commit 1f5bf94 pushed by WeetHet
September 4, 2024 08:31 5m 25s main
main
September 4, 2024 08:31 5m 25s
Check all files contain an // impl-start comment Test New Dafny Files #18: Pull request #41 opened by WeetHet
September 4, 2024 08:29 48s check-marks
check-marks
September 4, 2024 08:29 48s
065, 079 (#40) Test All Dafny Files #14: Commit eea53ff pushed by WeetHet
September 3, 2024 19:21 5m 25s main
main
September 3, 2024 19:21 5m 25s
065, 079 Test New Dafny Files #17: Pull request #40 opened by WeetHet
September 3, 2024 19:18 2m 42s new-tests
new-tests
September 3, 2024 19:18 2m 42s
025 (#39) Test All Dafny Files #13: Commit 696ce28 pushed by WeetHet
September 2, 2024 17:14 5m 19s main
main
September 2, 2024 17:14 5m 19s
025 Test New Dafny Files #16: Pull request #39 opened by WeetHet
September 2, 2024 17:12 38s new-tests
new-tests
September 2, 2024 17:12 38s
107, 111 (#38) Test All Dafny Files #12: Commit a45dad3 pushed by WeetHet
September 2, 2024 11:15 5m 14s main
main
September 2, 2024 11:15 5m 14s
107, 111 Test New Dafny Files #15: Pull request #38 synchronize by WeetHet
September 2, 2024 11:14 40s new-tests
new-tests
September 2, 2024 11:14 40s
107, 111 Test New Dafny Files #14: Pull request #38 opened by WeetHet
September 2, 2024 11:13 45s new-tests
new-tests
September 2, 2024 11:13 45s
036, 087, 161 (#37) Test All Dafny Files #11: Commit f13de1b pushed by WeetHet
August 30, 2024 11:00 5m 15s main
main
August 30, 2024 11:00 5m 15s