Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add missing faucet entries to packages.txt. (#3390)
## Motivation Publishing the documentation fails on `main`. ## Proposal Add the missing entries to `packages.txt`. ## Test Plan I reproduced the problem locally with `test_publish.sh`. The change fixes it. ## Release Plan - Nothing to do / These changes follow the usual release cycle. ## Links - [reviewer checklist](https://github.com/linera-io/linera-protocol/blob/main/CONTRIBUTING.md#reviewer-checklist)
- Loading branch information