Skip to content
Build and Test Dafny Runtimes

fix: Add uniform checking of type characteristics in refinement modules #7009

# to view logs

fix: Add uniform checking of type characteristics in refinement modules

fix: Add uniform checking of type characteristics in refinement modules #7009

Run time

Learn about OS # on GitHub Actions
Job Run time
check-deep-tests / check-deep-tests
7s
build
3m 44s
3m 51s