Gregory Michael Travis
Gregory Michael Travis
### Pull Request Description We have decided to keep the old new_builder, and to combine the new and old builders into one builder. ### Important Notes ### Checklist Please ensure...
Convert all uses (other than Standard.Base).
Since we are going to keep some uses of `new_builder`, it is better to support both styles using a single builder.
### Pull Request Description ### Important Notes ### Checklist Please ensure that the following checklist has been satisfied before submitting the PR: - [ ] The documentation has been updated,...
`Vector.build` has control over the scope of the builder, so it is safe to skip the copy at the end in `.to_vector`. However, to avoid leaking unused memory, we will...
With this command: `make flash WHAT=audio BOARD=seed_1_1` I get no audio output at all. With this: `make flash WHAT=audio BOARD=seed` I get a loud tone. I'm a total beginner with...
### Pull Request Description ### Important Notes ### Checklist Please ensure that the following checklist has been satisfied before submitting the PR: - [ ] The documentation has been updated,...
Currently, rounding in Postgres returns either `Float` or `Decimal` (depending on the number of decimal places). It should always return an `Integer`.
- [ ] Implement std-bits/table/src/main/java/org/enso/table/data/column/operation/map/numeric/BigDecimalRoundOp.java - [ ] Add to `BigDecimalStorage.buildOps()`