mirror of
				https://github.com/Z3Prover/z3
				synced 2025-10-31 19:52:29 +00:00 
			
		
		
		
	Bump actions/checkout from 2 to 3 (#6066)
This commit is contained in:
		
							parent
							
								
									9190f22eb4
								
							
						
					
					
						commit
						b8367247f5
					
				
					 7 changed files with 7 additions and 7 deletions
				
			
		
							
								
								
									
										2
									
								
								.github/workflows/android-build.yml
									
										
									
									
										vendored
									
									
								
							
							
						
						
									
										2
									
								
								.github/workflows/android-build.yml
									
										
									
									
										vendored
									
									
								
							|  | @ -21,7 +21,7 @@ jobs: | |||
| 
 | ||||
|     steps: | ||||
|     - name: Checkout code | ||||
|       uses: actions/checkout@v2 | ||||
|       uses: actions/checkout@v3 | ||||
| 
 | ||||
|     - name: Configure CMake and build | ||||
|       run:  | | ||||
|  |  | |||
							
								
								
									
										2
									
								
								.github/workflows/coverage.yml
									
										
									
									
										vendored
									
									
								
							
							
						
						
									
										2
									
								
								.github/workflows/coverage.yml
									
										
									
									
										vendored
									
									
								
							|  | @ -21,7 +21,7 @@ jobs: | |||
|       COV_DETAILS_PATH: ${{github.workspace}}/cov-details | ||||
| 
 | ||||
|     steps: | ||||
|     - uses: actions/checkout@v2 | ||||
|     - uses: actions/checkout@v3 | ||||
| 
 | ||||
|     - name: Setup | ||||
|       run: | | ||||
|  |  | |||
							
								
								
									
										2
									
								
								.github/workflows/cross-build.yml
									
										
									
									
										vendored
									
									
								
							
							
						
						
									
										2
									
								
								.github/workflows/cross-build.yml
									
										
									
									
										vendored
									
									
								
							|  | @ -19,7 +19,7 @@ jobs: | |||
| 
 | ||||
|     steps: | ||||
|     - name: Checkout code | ||||
|       uses: actions/checkout@v2 | ||||
|       uses: actions/checkout@v3 | ||||
| 
 | ||||
|     - name: Install cross build tools | ||||
|       run:  apt update && apt install -y ninja-build cmake python3 g++-11-${{ matrix.arch }}-linux-gnu | ||||
|  |  | |||
							
								
								
									
										2
									
								
								.github/workflows/docker-image.yml
									
										
									
									
										vendored
									
									
								
							
							
						
						
									
										2
									
								
								.github/workflows/docker-image.yml
									
										
									
									
										vendored
									
									
								
							|  | @ -15,7 +15,7 @@ jobs: | |||
| 
 | ||||
|     steps: | ||||
|       - name: Check out the repo         | ||||
|         uses: actions/checkout@v2 | ||||
|         uses: actions/checkout@v3 | ||||
| 
 | ||||
|       - name: Log in to GitHub Docker registry | ||||
|         uses: docker/login-action@v1 | ||||
|  |  | |||
							
								
								
									
										2
									
								
								.github/workflows/wasm-release.yml
									
										
									
									
										vendored
									
									
								
							
							
						
						
									
										2
									
								
								.github/workflows/wasm-release.yml
									
										
									
									
										vendored
									
									
								
							|  | @ -18,7 +18,7 @@ jobs: | |||
|     runs-on: ubuntu-latest | ||||
|     steps: | ||||
|       - name: Checkout | ||||
|         uses: actions/checkout@v2 | ||||
|         uses: actions/checkout@v3 | ||||
| 
 | ||||
|       - name: Setup node | ||||
|         uses: actions/setup-node@v2 | ||||
|  |  | |||
							
								
								
									
										2
									
								
								.github/workflows/wasm.yml
									
										
									
									
										vendored
									
									
								
							
							
						
						
									
										2
									
								
								.github/workflows/wasm.yml
									
										
									
									
										vendored
									
									
								
							|  | @ -18,7 +18,7 @@ jobs: | |||
|     runs-on: ubuntu-latest | ||||
|     steps: | ||||
|       - name: Checkout | ||||
|         uses: actions/checkout@v2 | ||||
|         uses: actions/checkout@v3 | ||||
| 
 | ||||
|       - name: Setup node | ||||
|         uses: actions/setup-node@v2 | ||||
|  |  | |||
							
								
								
									
										2
									
								
								.github/workflows/wip.yml
									
										
									
									
										vendored
									
									
								
							
							
						
						
									
										2
									
								
								.github/workflows/wip.yml
									
										
									
									
										vendored
									
									
								
							|  | @ -15,7 +15,7 @@ jobs: | |||
|     runs-on: ubuntu-latest | ||||
| 
 | ||||
|     steps: | ||||
|     - uses: actions/checkout@v2 | ||||
|     - uses: actions/checkout@v3 | ||||
| 
 | ||||
|     - name: Configure CMake | ||||
|       run: cmake -B ${{github.workspace}}/build -DCMAKE_BUILD_TYPE=${{env.BUILD_TYPE}} | ||||
|  |  | |||
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue