I made several comments about the documentation; else, this is good to merge. Consider using the "Squash and merge" option because many of the commits of this pull request are not worth saving because they are from the trial-and-error approach of debugging errors in CI.
I made several comments about the documentation; else, this is good to merge. Consider using the "Squash and merge" option because many of the commits of this pull request are not worth saving because they are from the trial-and-error approach of debugging errors in CI.