File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -67,10 +67,10 @@ jobs:
6767 git submodule sync --recursive
6868 git submodule update --init --recursive
6969
70- - name : Clean .git directory
71- if : ${{ github.event_name == 'push'}}
72- run : |
73- find /mnt/dingo-eureka -name ".git" -type d -exec rm -rf {} +
70+ # - name: Clean .git directory
71+ # if: ${{ github.event_name == 'push'}}
72+ # run: |
73+ # find /mnt/dingo-eureka -name ".git" -type d -exec rm -rf {} +
7474
7575 - name : Pull dingo-base:rocky8
7676 if : ${{ github.event_name == 'push'}}
Original file line number Diff line number Diff line change @@ -69,10 +69,10 @@ jobs:
6969 git submodule sync --recursive
7070 git submodule update --init --recursive
7171
72- - name : Clean .git directory
73- if : ${{ github.event_name == 'push'}}
74- run : |
75- find /mnt/dingo-eureka -name ".git" -type d -exec rm -rf {} +
72+ # - name: Clean .git directory
73+ # if: ${{ github.event_name == 'push'}}
74+ # run: |
75+ # find /mnt/dingo-eureka -name ".git" -type d -exec rm -rf {} +
7676
7777 - name : Pull dingo-base:rocky9
7878 if : ${{ github.event_name == 'push'}}
Original file line number Diff line number Diff line change @@ -67,10 +67,10 @@ jobs:
6767 git submodule sync --recursive
6868 git submodule update --init --recursive
6969
70- - name : Clean .git directory
71- if : ${{ github.event_name == 'push'}}
72- run : |
73- find /mnt/dingo-eureka -name ".git" -type d -exec rm -rf {} +
70+ # - name: Clean .git directory
71+ # if: ${{ github.event_name == 'push'}}
72+ # run: |
73+ # find /mnt/dingo-eureka -name ".git" -type d -exec rm -rf {} +
7474
7575 - name : Pull dingo-base:rocky9
7676 if : ${{ github.event_name == 'push'}}
Original file line number Diff line number Diff line change @@ -67,10 +67,10 @@ jobs:
6767 git submodule sync --recursive
6868 git submodule update --init --recursive
6969
70- - name : Clean .git directory
71- if : ${{ github.event_name == 'push'}}
72- run : |
73- find /mnt/dingo-eureka -name ".git" -type d -exec rm -rf {} +
70+ # - name: Clean .git directory
71+ # if: ${{ github.event_name == 'push'}}
72+ # run: |
73+ # find /mnt/dingo-eureka -name ".git" -type d -exec rm -rf {} +
7474
7575 - name : Pull dingo-base:ubuntu2204
7676 if : ${{ github.event_name == 'push'}}
You can’t perform that action at this time.
0 commit comments