Skip to content
Build and Test Dafny Runtimes

Optimize compilation of functional-looking assignment RHSs #8205

Sign in to view logs

Optimize compilation of functional-looking assignment RHSs

Optimize compilation of functional-looking assignment RHSs #8205

Triggered via pull request July 10, 2024 16:18
@RustanLeinoRustanLeino
synchronize #5589
RustanLeino:optimize-functional-assignment-rhs
Status Success
Total duration 4m 46s
Artifacts –

runtime-tests.yml

on: pull_request
check-deep-tests  /  check-deep-tests
6s
check-deep-tests / check-deep-tests
build
4m 24s
build
Fit to window
Zoom out
Zoom in