From d1601ec3b959f7ef328f6e107563dc23f65e0fdc Mon Sep 17 00:00:00 2001 From: Tshepang Mbambo Date: Tue, 18 Oct 2022 07:21:47 +0200 Subject: [PATCH 1/4] typo --- src/tests/ci.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tests/ci.md b/src/tests/ci.md index 21f834130..75651a67e 100644 --- a/src/tests/ci.md +++ b/src/tests/ci.md @@ -4,7 +4,7 @@ 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-12 linux, x86_64-gnu-tools linux, 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. From 50c5f10c70098fdc40b8655e05f97b51d816e624 Mon Sep 17 00:00:00 2001 From: Tshepang Mbambo Date: Tue, 18 Oct 2022 07:25:00 +0200 Subject: [PATCH 2/4] grammar --- src/tests/ci.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tests/ci.md b/src/tests/ci.md index 75651a67e..b94a74443 100644 --- a/src/tests/ci.md +++ b/src/tests/ci.md @@ -4,7 +4,7 @@ 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-12 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. From 6c84f7cc3788ac2ecc6df492d19f9be19154d317 Mon Sep 17 00:00:00 2001 From: Tshepang Mbambo Date: Tue, 18 Oct 2022 07:26:29 +0200 Subject: [PATCH 3/4] update --- src/tests/ci.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tests/ci.md b/src/tests/ci.md index b94a74443..190e389ab 100644 --- a/src/tests/ci.md +++ b/src/tests/ci.md @@ -4,7 +4,7 @@ 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, and 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. From c3c0a2886a121c61b5a2cc783fa2ceeb7849e1cd Mon Sep 17 00:00:00 2001 From: Tshepang Mbambo Date: Tue, 18 Oct 2022 07:29:55 +0200 Subject: [PATCH 4/4] date-check --- src/tests/ci.md | 1 + 1 file changed, 1 insertion(+) diff --git a/src/tests/ci.md b/src/tests/ci.md index 190e389ab..cca4973cb 100644 --- a/src/tests/ci.md +++ b/src/tests/ci.md @@ -2,6 +2,7 @@ ## Testing infrastructure + 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-13 linux, x86_64-gnu-tools linux, and mingw-check linux).