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/javascript_builds.disabled | |
| 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/javascript_builds.disabled')
| -rw-r--r-- | .github/workflows/javascript_builds.disabled | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/javascript_builds.disabled b/.github/workflows/javascript_builds.disabled index 09c4c41d53..c3c51209bd 100644 --- a/.github/workflows/javascript_builds.disabled +++ b/.github/workflows/javascript_builds.disabled @@ -1,4 +1,4 @@ -name: JavaScript Builds +name: 🌐 JavaScript Builds on: [push, pull_request] # Global Cache Settings |