Skip to content
Test coverage

Lean: Translate function bodies that only consist of literals or variables #1433

Sign in to view logs

Lean: Translate function bodies that only consist of literals or variables

Lean: Translate function bodies that only consist of literals or variables #1433

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (4.08.1, ubuntu-latest)
14m 5s
14m 5s