Skip to content
Build and Test Dafny Standard Libraries

Function alloc soundness fix #4467

Sign in to view logs

Function alloc soundness fix

Function alloc soundness fix #4467

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-deep-tests / check-deep-tests
6s
build
8m 47s
8m 53s