mirror of
https://github.com/tiennm99/is-a-good-dev.git
synced 2026-07-29 02:20:58 +00:00
@@ -1,3 +1,6 @@
|
||||
name: Validation
|
||||
on: [pull_request]
|
||||
|
||||
jobs:
|
||||
validation:
|
||||
runs-on: ubuntu-latest
|
||||
@@ -22,9 +25,6 @@ jobs:
|
||||
env:
|
||||
FILES: ${{ steps.changed-files.outputs.all_changed_files }}
|
||||
actions_path: ${{ github.workspace }}
|
||||
- name: Debug FILES
|
||||
if: steps.changed-files.outputs.any_changed == 'true'
|
||||
run: echo "${{ steps.changed-files.outputs.all_changed_files }}"
|
||||
- name: Comment
|
||||
if: steps.tests.outputs.shouldComment == 'true'
|
||||
uses: mshick/add-pr-comment@v1
|
||||
@@ -42,4 +42,4 @@ jobs:
|
||||
repo-token: ${{ secrets.GITHUB_TOKEN }}
|
||||
proxy-url: https://is-a-good-dev-gh-proxy.talosbot.xyz/
|
||||
repo-token-user-login: 'github-actions[bot]' # The user.login for temporary GitHub tokens
|
||||
allow-repeats: false # Default: false
|
||||
allow-repeats: false # Default: false
|
||||
Reference in New Issue
Block a user