[WIP] Add 'dev.py' #131
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# | |
# Copyright (c) 2023 Red Hat, Inc. | |
# | |
# Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except | |
# in compliance with the License. You may obtain a copy of the License at | |
# | |
# http://www.apache.org/licenses/LICENSE-2.0 | |
# | |
# Unless required by applicable law or agreed to in writing, software distributed under the License | |
# is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express | |
# or implied. See the License for the specific language governing permissions and limitations under | |
# the License. | |
# | |
name: Check pull request | |
on: | |
pull_request: | |
branches: | |
- main | |
jobs: | |
build-image: | |
name: Build image | |
runs-on: ubuntu-latest | |
steps: | |
- name: Checkout the source | |
uses: actions/checkout@v3 | |
- name: Install tools | |
uses: ./.github/actions/install-tools | |
- name: Build image | |
run: ./dev.py build image | |
unit-tests: | |
name: Unit tests | |
runs-on: ubuntu-latest | |
steps: | |
- name: Checkout the source | |
uses: actions/checkout@v3 | |
- name: Install tools | |
uses: ./.github/actions/install-tools | |
- name: Install tools | |
run: ./dev.py setup | |
- name: Run the tests | |
run: ./dev.py test | |
check-generated-code: | |
name: Check generated code | |
runs-on: ubuntu-latest | |
steps: | |
- name: Checkout the source | |
uses: actions/checkout@v3 | |
- name: Install tools | |
uses: ./.github/actions/install-tools | |
- name: Generate code | |
run: ./dev.py generate | |
- name: Check differences | |
run: git diff --exit-code | |
lint: | |
name: Lint | |
runs-on: ubuntu-latest | |
steps: | |
- name: Checkout the source | |
uses: actions/checkout@v3 | |
- name: Install tools | |
uses: ./.github/actions/install-tools | |
- name: Run the linter | |
run: ./dev.py lint |