From a56a3f3ea6bfe959d90f47cdb3e3e0ac9eac03d1 Mon Sep 17 00:00:00 2001 From: rjust Date: Wed, 29 May 2024 20:08:49 -0700 Subject: [PATCH] Clearer task names in CI. --- .github/workflows/ci.yml | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index ed0d6471a..9964b52fe 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -64,14 +64,14 @@ jobs: working-directory: "./framework/test" # Verify a few select bugs to detect serious breakages early. - - run: carton exec ./test_verify_bugs.sh -p Lang -b24 - name: "Verify Lang-24" + - run: carton exec ./test_verify_bugs.sh -p Lang -b 24 + name: "test_verify_bugs.sh -p Lang -b 24" working-directory: "./framework/test" - - run: carton exec ./test_verify_bugs.sh -p Closure -b102 - name: "Verify Closure-102" + - run: carton exec ./test_verify_bugs.sh -p Closure -b 102 + name: "test_verify_bugs.sh -p Closure -b 102" working-directory: "./framework/test" - - run: carton exec ./test_verify_bugs.sh -p Mockito -b10 - name: "Verify Mockito-10" + - run: carton exec ./test_verify_bugs.sh -p Mockito -b 10 + name: "test_verify_bugs.sh -p Mockito -b 10" working-directory: "./framework/test" # Verifying the export command for all bugs and verifying reproducibility of all