mirror of
				https://github.com/FreeRTOS/FreeRTOS-Kernel.git
				synced 2025-11-04 11:09:01 +01:00 
			
		
		
		
	Add kernel header check workflow (#219)
This commit is contained in:
		
							parent
							
								
									50a2321838
								
							
						
					
					
						commit
						d0933fd6cb
					
				
							
								
								
									
										46
									
								
								.github/workflows/header-checks.yml
									
									
									
									
										vendored
									
									
										Normal file
									
								
							
							
						
						
									
										46
									
								
								.github/workflows/header-checks.yml
									
									
									
									
										vendored
									
									
										Normal file
									
								
							@ -0,0 +1,46 @@
 | 
			
		||||
name: FreeRTOS-Header-Checker
 | 
			
		||||
 | 
			
		||||
on: [pull_request]          
 | 
			
		||||
 | 
			
		||||
jobs:
 | 
			
		||||
  header-checker:
 | 
			
		||||
    name: File Header Checks
 | 
			
		||||
    runs-on: ubuntu-latest
 | 
			
		||||
    steps:
 | 
			
		||||
      # Install python 3
 | 
			
		||||
      - name: Tool Setup
 | 
			
		||||
        uses: actions/setup-python@v2
 | 
			
		||||
        with:
 | 
			
		||||
          python-version: 3.8.5
 | 
			
		||||
          architecture:   x64  
 | 
			
		||||
        env:  
 | 
			
		||||
          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} 
 | 
			
		||||
      
 | 
			
		||||
      # Get latest checks from master
 | 
			
		||||
      - name: Checkout FreeRTOS Tools
 | 
			
		||||
        uses: actions/checkout@v2
 | 
			
		||||
        with:
 | 
			
		||||
          repository: FreeRTOS/FreeRTOS 
 | 
			
		||||
          ref:  master
 | 
			
		||||
          path: tools
 | 
			
		||||
 | 
			
		||||
      # Checkout user pull request changes
 | 
			
		||||
      - name: Checkout Pull Request
 | 
			
		||||
        uses: actions/checkout@v2
 | 
			
		||||
        with:
 | 
			
		||||
          ref:  ${{ github.event.pull_request.head.sha }}
 | 
			
		||||
          path: inspect  
 | 
			
		||||
          
 | 
			
		||||
      # Collect all affected files
 | 
			
		||||
      - name: Collecting changed files
 | 
			
		||||
        uses: lots0logs/gh-action-get-changed-files@2.1.4
 | 
			
		||||
        with:
 | 
			
		||||
          token: ${{ secrets.GITHUB_TOKEN }}
 | 
			
		||||
      
 | 
			
		||||
      # Run checks     
 | 
			
		||||
      - name: Check File Headers
 | 
			
		||||
        run: |
 | 
			
		||||
          cd inspect
 | 
			
		||||
          ../tools/.github/scripts/check-header.py --kernel --json ${HOME}/files.json
 | 
			
		||||
          exit $?
 | 
			
		||||
                  
 | 
			
		||||
		Loading…
	
	
			
			x
			
			
		
	
		Reference in New Issue
	
	Block a user