Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Remove the body of helper_crate::entry_point
This gets rid of the problem: evaluate_obligation | 5.67ms | 3.661
- Loading branch information