mirror of
				https://github.com/Z3Prover/z3
				synced 2025-11-03 21:09:11 +00:00 
			
		
		
		
	Bump actions/checkout from 4 to 5 (#7773)
Bumps [actions/checkout](https://github.com/actions/checkout) from 4 to 5. - [Release notes](https://github.com/actions/checkout/releases) - [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md) - [Commits](https://github.com/actions/checkout/compare/v4...v5) --- updated-dependencies: - dependency-name: actions/checkout dependency-version: '5' 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
							
								
									6486d9290a
								
							
						
					
					
						commit
						d375d97576
					
				
					 12 changed files with 12 additions and 12 deletions
				
			
		
							
								
								
									
										2
									
								
								.github/workflows/pyodide.yml
									
										
									
									
										vendored
									
									
								
							
							
						
						
									
										2
									
								
								.github/workflows/pyodide.yml
									
										
									
									
										vendored
									
									
								
							| 
						 | 
				
			
			@ -19,7 +19,7 @@ jobs:
 | 
			
		|||
 | 
			
		||||
    steps:
 | 
			
		||||
    - name: Checkout code
 | 
			
		||||
      uses: actions/checkout@v4
 | 
			
		||||
      uses: actions/checkout@v5
 | 
			
		||||
 | 
			
		||||
    - name: Setup packages
 | 
			
		||||
      run: sudo apt-get update && sudo apt-get install -y python3-dev python3-pip python3-venv 
 | 
			
		||||
| 
						 | 
				
			
			
 | 
			
		|||
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue