Skip to content

Actions: JetBrains-Research/HumanEval-Dafny

Actions

Test New Dafny Files

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-dafny-new.yml
25 workflow runs
25 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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 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 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 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
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 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 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 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 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 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 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
Markup file parts Test New Dafny Files #10: Pull request #35 opened by WeetHet
August 29, 2024 11:30 5m 10s markup
markup
August 29, 2024 11:30 5m 10s
049, 073, 081, 089, 108, 114, 128 Test New Dafny Files #9: Pull request #34 opened by WeetHet
August 27, 2024 11:16 52s new-tests
new-tests
August 27, 2024 11:16 52s
094, 098, 115 Test New Dafny Files #8: Pull request #33 opened by WeetHet
August 26, 2024 12:36 45s new-tests
new-tests
August 26, 2024 12:36 45s
Make all asserts one-liners (easier to strip when neccesary) Test New Dafny Files #7: Pull request #32 opened by gt22
August 26, 2024 10:35 1m 12s one-line-asserts
one-line-asserts
August 26, 2024 10:35 1m 12s
105, 116, 123, 155, add a file with remaining tasks Test New Dafny Files #6: Pull request #31 opened by WeetHet
August 23, 2024 11:41 46s new-tests
new-tests
August 23, 2024 11:41 46s
126, 146 Test New Dafny Files #5: Pull request #30 opened by WeetHet
August 22, 2024 11:43 42s new-tests
new-tests
August 22, 2024 11:43 42s
041, 045, 046, 135, 136, 138 Test New Dafny Files #4: Pull request #29 opened by WeetHet
August 22, 2024 10:09 49s new-tests
new-tests
August 22, 2024 10:09 49s
004, 016, 026, 029 Test New Dafny Files #3: Pull request #28 synchronize by WeetHet
August 21, 2024 12:25 47s new-tests
new-tests
August 21, 2024 12:25 47s
004, 016, 026, 029 Test New Dafny Files #2: Pull request #28 synchronize by WeetHet
August 21, 2024 12:23 44s new-tests
new-tests
August 21, 2024 12:23 44s
Only test changed files in PRs Test New Dafny Files #1: Commit f93292d pushed by WeetHet
August 21, 2024 12:12 35s new-tests
new-tests
August 21, 2024 12:12 35s