From 7d99c8574534aba0b4416fb08ae3e07e1fc6dcf1 Mon Sep 17 00:00:00 2001 From: Christoph Michelbach Date: Mon, 11 Nov 2024 08:15:04 +0100 Subject: [PATCH] Change name of CI job. --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 4d549a2..7551ff8 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -4,7 +4,7 @@ on: ["push"] jobs: check_linter_and_tests: - name: Create/update todos + name: CI runs-on: ubuntu-latest timeout-minutes: 20 environment: default_environment