From 342e83e7f8daa4264f692a8e9723a35c5fd443f6 Mon Sep 17 00:00:00 2001 From: Nicolas Stucki Date: Wed, 13 Jan 2021 13:01:43 +0100 Subject: [PATCH] Align workflow names --- .github/workflows/ci.yaml | 2 +- .github/workflows/scala3doc.yaml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index afce54ba376a..61dee625300e 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -1,4 +1,4 @@ -name: Dotty CI +name: Dotty on: push: diff --git a/.github/workflows/scala3doc.yaml b/.github/workflows/scala3doc.yaml index 6f8c3228323e..590a98776c05 100644 --- a/.github/workflows/scala3doc.yaml +++ b/.github/workflows/scala3doc.yaml @@ -1,4 +1,4 @@ -name: CI for Scala3doc +name: Scala3doc on: push: