Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
## What ❔ Set sealed batch number if no unpicked job were found ## Why ❔ Sometimes there is no such jobs in db, so it remains the same. ## Checklist <!-- Check your PR fulfills the following items. --> <!-- For draft PRs check the boxes as you complete them. --> - [x] PR title corresponds to the body of PR (we generate changelog entries from PRs). - [ ] Tests for the changes have been added / updated. - [ ] Documentation comments have been added / updated. - [x] Code has been formatted via `zk fmt` and `zk lint`. - [x] Spellcheck has been run via `cargo spellcheck --cfg=./spellcheck/era.cfg --code 1`.
- Loading branch information