Skip to content
Build and Test Dafny Runtimes

Extract code into separate methods in ExpressionTranslator, and extract BinaryExpr translation code into separate file #10571

Sign in to view logs

Extract code into separate methods in ExpressionTranslator, and extract BinaryExpr translation code into separate file

Extract code into separate methods in ExpressionTranslator, and extract BinaryExpr translation code into separate file #10571

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-deep-tests / check-deep-tests
6s
build
6m 37s
6m 43s