Skip to content

Actions: JetBrains-Research/HumanEval-Dafny

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
113 workflow runs
113 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
036, 087, 161 Test New Dafny Files #13: Pull request #37 opened by WeetHet
August 30, 2024 10:51 49s new-tests
new-tests
August 30, 2024 10:51 49s
Markup file parts (#35) Test All Dafny Files #10: Commit 2a83537 pushed by WeetHet
August 30, 2024 09:39 5m 32s main
main
August 30, 2024 09:39 5m 32s
Markup file parts Test New Dafny Files #12: Pull request #35 synchronize by WeetHet
August 29, 2024 11:36 5m 18s markup
markup
August 29, 2024 11:36 5m 18s
84, 134 (#36) Test All Dafny Files #9: Commit c588dbf pushed by WeetHet
August 29, 2024 11:33 5m 10s main
main
August 29, 2024 11:33 5m 10s
84, 134 Test New Dafny Files #11: Pull request #36 opened by WeetHet
August 29, 2024 11:32 42s new-tests
new-tests
August 29, 2024 11:32 42s