search

dafny-lang / dafny-reportgenerator

A tool for analyzing and reporting on Dafny, especially the results of verification
MIT License
3 stars 4 forks source link

chore: Fix nightly build #19

Open robin-aws opened 1 year ago

robin-aws commented 1 year ago

Upgrade setup-dafny-action