typo and grammar (#1484)

This commit is contained in:
Tshepang Mbambo 2022-10-19 00:45:49 +02:00 committed by GitHub
parent aeaad3d8eb
commit da834f444a

View file

@ -2,9 +2,10 @@
## Testing infrastructure
<!-- date-check: oct 2022 -->
When a Pull Request is opened on GitHub, [GitHub Actions] will automatically
launch a build that will run all tests on some configurations
(x86_64-gnu-llvm-12 linux. x86_64-gnu-tools linux, mingw-check linux).
(x86_64-gnu-llvm-13 linux, x86_64-gnu-tools linux, and mingw-check linux).
In essence, each runs `./x.py test` with various different options.
The integration bot [bors] is used for coordinating merges to the master branch.