Skip to content
Build and Test Dafny Runtimes

fix: Crash when compiling an empty source file while including testing code #8251

Sign in to view logs

fix: Crash when compiling an empty source file while including testing code

fix: Crash when compiling an empty source file while including testing code #8251

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-deep-tests / check-deep-tests
6s
build
4m 13s
4m 19s