Skip to content

Actions: JetBrains-Research/HumanEval-Dafny

Actions

Test All Dafny Files

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-dafny-all.yml
22 workflow runs
22 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
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
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
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
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
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
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
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
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
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
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
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
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
050, 093, 109, 112, 121 Test All Dafny Files #8: Commit 8b9e581 pushed by WeetHet
August 28, 2024 12:21 5m 18s main
main
August 28, 2024 12:21 5m 18s
049, 073, 081, 089, 108, 114, 128 (#34) Test All Dafny Files #7: Commit 719cde8 pushed by WeetHet
August 27, 2024 11:17 4m 57s main
main
August 27, 2024 11:17 4m 57s
094, 098, 115 (#33) Test All Dafny Files #6: Commit 81c15b5 pushed by WeetHet
August 26, 2024 12:37 4m 30s main
main
August 26, 2024 12:37 4m 30s
105, 116, 123, 155, add a file with remaining tasks (#31) Test All Dafny Files #5: Commit 3f3a5e8 pushed by WeetHet
August 23, 2024 11:43 4m 29s main
main
August 23, 2024 11:43 4m 29s
105, 116, 123, 155, add remaining Test All Dafny Files #4: Commit b5e578e pushed by WeetHet
August 23, 2024 11:41 4m 25s main
main
August 23, 2024 11:41 4m 25s
126, 146 (#30) Test All Dafny Files #3: Commit 8fe5d73 pushed by WeetHet
August 22, 2024 11:45 4m 14s main
main
August 22, 2024 11:45 4m 14s
041, 045, 046, 135, 136, 138 (#29) Test All Dafny Files #2: Commit 5920048 pushed by WeetHet
August 22, 2024 10:11 4m 13s main
main
August 22, 2024 10:11 4m 13s
004, 016, 026, 029 (#28) Test All Dafny Files #1: Commit 6649c49 pushed by WeetHet
August 21, 2024 12:26 4m 4s main
main
August 21, 2024 12:26 4m 4s