enso-org/enso
1
1
Fork 0
mirror of https://github.com/enso-org/enso.git synced 2024-11-22 20:56:39 +03:00
Code Issues Projects Releases Wiki Activity

Renames

Browse Source
This commit is contained in:
Sergei Garin 2024-11-21 16:09:44 +03:00
parent 3fa3bf139f
commit 75c0ba3f34
No known key found for this signature in database
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.github/workflows/gui-pull-request.yml vendored
View File

@ -22,7 +22,7 @@ permissions:
jobs: jobs:
changed-files: changed-files:
runs-on: ubuntu-latest runs-on: ubuntu-latest
name: 🔍 Detect changed files in GUI name: 🔍 GUI files changed
outputs: outputs:
all_changed_files: ${{ steps.changed-files.outputs.all_changed_files }} all_changed_files: ${{ steps.changed-files.outputs.all_changed_files }}
any_changed: ${{ steps.changed-files.outputs.any_changed }} any_changed: ${{ steps.changed-files.outputs.any_changed }}
@ -86,7 +86,7 @@ jobs:
# This job is used to report success if the needed jobs were successful. # This job is used to report success if the needed jobs were successful.
# This is a workaround to make optional jobs required if they run # This is a workaround to make optional jobs required if they run
report-success: report-success:
name: ✅ Success or skipped due to no changes name: ✅ GUI Checks Success or Skipped
runs-on: ubuntu-latest runs-on: ubuntu-latest
needs: [checks, storybook] needs: [checks, storybook]
if: always() && (needs.checks.result == 'skipped' && needs.storybook.result == 'skipped') || (needs.checks.result == 'success' && needs.storybook.result == 'success') if: always() && (needs.checks.result == 'skipped' && needs.storybook.result == 'skipped') || (needs.checks.result == 'success' && needs.storybook.result == 'success')