Skip to content

Commit

Permalink
[core] Fix confusing duplicated name in the log
Browse files Browse the repository at this point in the history
  • Loading branch information
oliviertassinari committed Dec 25, 2022
1 parent 94bc99f commit 2093d62
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/ci-check.yml
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
# This workflow is a workaround for ci.yml to bypass the github checks
#
# Ref: https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/defining-the-mergeability-of-pull-requests/troubleshooting-required-status-checks#handling-skipped-but-required-checks
name: CI
name: CI Check

on:
push:
Expand Down

0 comments on commit 2093d62

Please sign in to comment.