File tree Expand file tree Collapse file tree 3 files changed +4
-4
lines changed Expand file tree Collapse file tree 3 files changed +4
-4
lines changed Original file line number Diff line number Diff line change 6363          cache-read-only : ${{ github.event_name == 'pull_request' }} 
6464
6565      - name : Initialize CodeQL 
66-         uses : github/codeql-action/init@4e94bd11f71e507f7f87df81788dff88d1dacbfb   #  v4.31.0 
66+         uses : github/codeql-action/init@0499de31b99561a6d14a36a5f662c2a54f91beee   #  v4.31.2 
6767        with :
6868          languages : ${{ matrix.language }} 
6969          #  using "linked" helps to keep up with the linked Kotlin support
8484          --no-build-cache --no-daemon 
8585
8686       - name : Perform CodeQL analysis 
87-         uses : github/codeql-action/analyze@4e94bd11f71e507f7f87df81788dff88d1dacbfb   #  v4.31.0 
87+         uses : github/codeql-action/analyze@0499de31b99561a6d14a36a5f662c2a54f91beee   #  v4.31.2 
8888        with :
8989          category : " /language:${{matrix.language}}" 
Original file line number Diff line number Diff line change 4343      #  Upload the results to GitHub's code scanning dashboard (optional).
4444      #  Commenting out will disable upload of results to your repo's Code Scanning dashboard
4545      - name : " Upload to code-scanning" 
46-         uses : github/codeql-action/upload-sarif@4e94bd11f71e507f7f87df81788dff88d1dacbfb   #  v4.31.0 
46+         uses : github/codeql-action/upload-sarif@0499de31b99561a6d14a36a5f662c2a54f91beee   #  v4.31.2 
4747        with :
4848          sarif_file : results.sarif 
Original file line number Diff line number Diff line change 1414        with :
1515          fetch-depth : 0  #  needed for merge-base used in lint:links-in-modified-files
1616
17-       - uses : jdx/mise-action@e3d7b8d67a7958d1207f6ed871e83b1ea780e7b0   #  v3.3.1 
17+       - uses : jdx/mise-action@be3be2260bc02bc3fbf94c5e2fed8b7964baf074   #  v3.4.0 
1818
1919      - name : Link check - relative links (all files) 
2020        if : github.event_name == 'pull_request' 
    
 
   
 
     
   
   
          
     
  
    
     
 
    
      
     
 
     
    You can’t perform that action at this time.
  
 
    
  
     
    
      
        
     
 
       
      
     
   
 
    
    
  
 
  
 
     
    
0 commit comments