File tree Expand file tree Collapse file tree 3 files changed +17
-7
lines changed Expand file tree Collapse file tree 3 files changed +17
-7
lines changed Original file line number Diff line number Diff line change 1- 0/html/index.html
1+ 0/html/index.html
Original file line number Diff line number Diff line change 4343        find SLAM -name "*.py" | xargs mypy 
4444     - name : do diff style check 
4545      run : bash rundiffstylecheck.sh 
46-     - name : run-circleci-artifacts-redirector 
47- 48-       with :
49-         repo-token : ${{ secrets.GITHUB_TOKEN }} 
50-         artifact-path : 0/html/index.html 
51-         circleci-jobs : build_doc 
5246    - name : do all unit tests 
5347      run : bash runtests.sh 
5448    - name : Codecov 
Original file line number Diff line number Diff line change 1+ name : circleci-artifacts-redirector-action 
2+ on : [status] 
3+ jobs :
4+   circleci_artifacts_redirector_job :
5+     runs-on : ubuntu-latest 
6+     name : Run CircleCI artifacts redirector 
7+     steps :
8+       - name : run-circleci-artifacts-redirector 
9+         uses : larsoner/circleci-artifacts-redirector-action@master 
10+         with :
11+           repo-token : ${{ secrets.GITHUB_TOKEN }} 
12+           artifact-path : 0/html/index.html 
13+           circleci-jobs : build_doc 
14+       - name : Check the URL 
15+         run : | 
16+           curl --fail ${{ steps.step1.outputs.url }} | grep $GITHUB_SHA 
    
 
   
 
     
   
   
          
     
  
    
     
 
    
      
     
 
     
    You can’t perform that action at this time.
  
 
    
  
     
    
      
        
     
 
       
      
     
   
 
    
    
  
 
  
 
     
    
0 commit comments