Skip to content

[WIP] Add 'dev.py'

[WIP] Add 'dev.py' #42

#
# 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