Commits on Sep 14, 2024

1. test: stop .NET testing goals until Dafny fixes land …

   Crypto Tools would like to prepare for our next release,
   but it seems we have stumbled into a few Dafny bugs.
   
   The Dafny .NET compiler is struggling with the Storage changes in
   
   Additionally,
   the Smithy-Diff workflow has generated far too much noise.
   Crypto Tools use GitHub notifications to track customer cut
   or updated GitHub issues.
   
   Tagging a contributor for every commit pushed
   generates far too much noise.
   
   See #717
   as evidence that '.github/workflows/block_main.yml' fails
   if this commit targets main.

   

   texastony committed Sep 14, 2024
   Configuration menu

   • View commit details
   • Copy full SHA for e2d928a
   • Browse repository at this point

   Copy the full SHA

   e2d928a View commit details

   Browse the repository at this point in the history