Skip to content
Test All Dafny Files

Correct annotations in 008-sum_product.dfy (#53) #20

Sign in to view logs

Correct annotations in 008-sum_product.dfy (#53)

Correct annotations in 008-sum_product.dfy (#53) #20

Triggered via push October 8, 2024 08:11
@WeetHetWeetHet
pushed 5a7e344
main
Status Success
Total duration 5m 17s
Artifacts –

test-dafny-all.yml

on: push
test
5m 7s
test
Fit to window
Zoom out
Zoom in