Update license #317
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
| name: Checking | |
| on: push | |
| jobs: | |
| setup-requirements: | |
| name: Get Requirements | |
| runs-on: ubuntu-latest | |
| timeout-minutes: 10 | |
| steps: | |
| # Setup Python (faster than using Python container) | |
| - name: Setup Python | |
| uses: actions/[email protected] | |
| with: | |
| python-version: "3.12.0" | |
| - name: Check out repository code | |
| uses: actions/[email protected] | |
| - name: Install Hatch | |
| run: python -m pip install --upgrade hatch | |
| - name: Generate Requirements | |
| run: python -m hatch dep show requirements > requirements.txt | |
| - name: Upload Requirements | |
| uses: actions/[email protected] | |
| with: | |
| name: requirements | |
| path: requirements.txt | |
| pylint: | |
| name: PyLint | |
| runs-on: ubuntu-latest | |
| timeout-minutes: 10 | |
| steps: | |
| - name: Check out repository code | |
| uses: actions/[email protected] | |
| # Setup Python (faster than using Python container) | |
| - name: Setup Python | |
| uses: actions/[email protected] | |
| with: | |
| python-version: "3.12.0" | |
| - name: Install pipenv | |
| run: | | |
| python -m pip install --upgrade pipenv wheel | |
| - name: Install dependencies | |
| run: | | |
| pipenv install --deploy --dev | |
| - name: Pylint on esbmc_ai | |
| run: | | |
| pipenv run pylint esbmc_ai | |
| test: | |
| name: PyTest | |
| needs: setup-requirements | |
| runs-on: ubuntu-latest | |
| timeout-minutes: 10 | |
| steps: | |
| - name: Check out repository code | |
| uses: actions/[email protected] | |
| # Setup Python (faster than using Python container) | |
| - name: Setup Python | |
| uses: actions/[email protected] | |
| with: | |
| python-version: "3.12.0" | |
| - name: Download Requirements | |
| uses: actions/[email protected] | |
| with: | |
| name: requirements | |
| path: . | |
| - name: Install Environment | |
| run: python -m pip install --upgrade pipenv wheel | |
| - name: Cache Pipenv | |
| id: cache-pipenv | |
| uses: actions/[email protected] | |
| with: | |
| path: ~/.local/share/virtualenvs | |
| key: ${{ runner.os }}-pipenv-${{ hashFiles('**/Pipfile.lock') }} | |
| - name: Install dependencies | |
| if: steps.cache-pipenv.outputs.cache-hit != 'true' | |
| run: | | |
| pipenv install -r requirements.txt | |
| pipenv lock | |
| - name: Run test suite | |
| run: pipenv run pytest -v |