72904c318c
GitOrigin-RevId: 9bf1f40af124573a54fd208b1f539eb694ef31a6
1.3 KiB
1.3 KiB
Description
Checklist
-
Change is backwards compatible.
-
Code formatted with
./format
. -
Code tested through
nix-shell --pure tests -A run.all
. -
Test cases updated/added. See example.
-
Commit messages are formatted like
{component}: {description} {long description}
See CONTRIBUTING for more information and recent commit messages for examples.
-
If this PR adds a new module
-
Added myself as module maintainer. See example.
-
Added myself and the module files to
.github/CODEOWNERS
.
-