diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2020-08-25 00:43:19 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-08-25 00:43:19 +0200 |
commit | 443686d724ce8ac58dcdf09389e9f996aee866c1 (patch) | |
tree | 3f65c75070fc111453d52a1ee1a5fc3ab8b84d5e /.github/workflows/ios_builds.yml | |
parent | ba7738a3b264bfbe999631449c1d2daaaa5212f2 (diff) | |
parent | 82b30f36cb3f0de8c99891dd3c0e25e83f62ccb0 (diff) |
Merge pull request #41461 from Calinou/ci-platforms-emoji
GitHub Actions: Prepend emoji to platform names for easy visual grepping
Diffstat (limited to '.github/workflows/ios_builds.yml')
-rw-r--r-- | .github/workflows/ios_builds.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/ios_builds.yml b/.github/workflows/ios_builds.yml index 0657a6cb18..e6770d384a 100644 --- a/.github/workflows/ios_builds.yml +++ b/.github/workflows/ios_builds.yml @@ -1,4 +1,4 @@ -name: iOS Builds +name: 🍏 iOS Builds on: [push, pull_request] # Global Cache Settings |