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

Support .NET 7 #21

Open seebees opened 1 year ago

seebees commented 1 year ago

The new large macos runners only have .NET 7 So the report generator fails

See: https://github.com/aws/aws-cryptographic-material-providers-library-dafny/actions/runs/6487601452/job/17618256942