mirror of
				https://github.com/Z3Prover/z3
				synced 2025-11-04 05:19:11 +00:00 
			
		
		
		
	Bump github/codeql-action from 3 to 4 (#7971)
Bumps [github/codeql-action](https://github.com/github/codeql-action) from 3 to 4. - [Release notes](https://github.com/github/codeql-action/releases) - [Changelog](https://github.com/github/codeql-action/blob/main/CHANGELOG.md) - [Commits](https://github.com/github/codeql-action/compare/v3...v4) --- updated-dependencies: - dependency-name: github/codeql-action dependency-version: '4' dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
This commit is contained in:
		
							parent
							
								
									8d0c229f91
								
							
						
					
					
						commit
						493481a27e
					
				
					 1 changed files with 3 additions and 3 deletions
				
			
		
							
								
								
									
										6
									
								
								.github/workflows/codeql-analysis.yml
									
										
									
									
										vendored
									
									
								
							
							
						
						
									
										6
									
								
								.github/workflows/codeql-analysis.yml
									
										
									
									
										vendored
									
									
								
							| 
						 | 
				
			
			@ -23,15 +23,15 @@ jobs:
 | 
			
		|||
      uses: actions/checkout@v5
 | 
			
		||||
 | 
			
		||||
    - name: Initialize CodeQL
 | 
			
		||||
      uses: github/codeql-action/init@v3
 | 
			
		||||
      uses: github/codeql-action/init@v4
 | 
			
		||||
      with:
 | 
			
		||||
        languages: ${{ matrix.language }}
 | 
			
		||||
 | 
			
		||||
    - name: Autobuild
 | 
			
		||||
      uses: github/codeql-action/autobuild@v3
 | 
			
		||||
      uses: github/codeql-action/autobuild@v4
 | 
			
		||||
 | 
			
		||||
    - name: Run CodeQL Query
 | 
			
		||||
      uses: github/codeql-action/analyze@v3
 | 
			
		||||
      uses: github/codeql-action/analyze@v4
 | 
			
		||||
      with:
 | 
			
		||||
        category: 'custom'
 | 
			
		||||
        queries: ./codeql/custom-queries
 | 
			
		||||
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue