Porting code from Jackson Walters to compute dimensions of simple mod… #213
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
| name: Build & Test | |
| on: | |
| pull_request: | |
| push: | |
| branches: ['**'] | |
| # Ignore pushes on tags to prevent two uploads of codecov reports | |
| tags-ignore: ['**'] | |
| workflow_dispatch: | |
| # Allow to run manually | |
| inputs: | |
| platform: | |
| description: 'Platform' | |
| required: true | |
| default: 'ubuntu-focal-standard' | |
| docker_tag: | |
| description: 'Docker tag' | |
| required: true | |
| default: 'dev' | |
| concurrency: | |
| # Cancel previous runs of this workflow for the same branch | |
| group: ${{ github.workflow }}-${{ github.ref }} | |
| cancel-in-progress: true | |
| jobs: | |
| build: | |
| runs-on: ubuntu-latest | |
| container: ghcr.io/sagemath/sage/sage-${{ github.event.inputs.platform || 'ubuntu-focal-standard' }}-with-targets:${{ github.event.inputs.docker_tag || 'dev'}} | |
| steps: | |
| - name: Checkout | |
| id: checkout | |
| uses: actions/checkout@v4 | |
| - name: Update system packages | |
| id: prepare | |
| run: | | |
| export PATH="build/bin:$PATH" | |
| eval $(sage-print-system-package-command auto update) | |
| eval $(sage-print-system-package-command auto --spkg --yes --no-install-recommends install git) | |
| - name: Add prebuilt tree as a worktree | |
| id: worktree | |
| run: | | |
| set -ex | |
| git config --global user.email "[email protected]" | |
| git config --global user.name "Build & Test workflow" | |
| git config --global --add safe.directory $(pwd) | |
| # If actions/checkout downloaded our source tree using the GitHub REST API | |
| # instead of with git (because do not have git installed in our image), | |
| # we first make the source tree a repo. | |
| if [ ! -d .git ]; then git init && git add -A && git commit --quiet -m "new"; fi | |
| # Tag this state of the source tree "new". This is what we want to build and test. | |
| git tag -f new | |
| # Our container image contains a source tree in /sage with a full build of Sage. | |
| # But /sage is not a git repository. | |
| # We make /sage a worktree whose index is at tag "new". | |
| # We then commit the current sources and set the tag "old". (This keeps all mtimes unchanged.) | |
| # Then we update worktree and index with "git reset --hard new". | |
| # (This keeps mtimes of unchanged files unchanged and mtimes of changed files newer than unchanged files.) | |
| # Finally we reset the index to "old". (This keeps all mtimes unchanged.) | |
| # The changed files now show up as uncommitted changes. | |
| # The final "git add -N" makes sure that files that were added in "new" do not show | |
| # as untracked files, which would be removed by "git clean -fx". | |
| git worktree add --detach worktree-image | |
| rm -rf /sage/.git && mv worktree-image/.git /sage/ | |
| rm -rf worktree-image && ln -s /sage worktree-image | |
| if [ ! -f worktree-image/.gitignore ]; then cp .gitignore worktree-image/; fi | |
| (cd worktree-image && git add -A && git commit --quiet --allow-empty -m "old" -a && git tag -f old && git reset --hard new && git reset --quiet old && git add -N . && git status) | |
| - name: Incremental build, test changed files (sage -t --new) | |
| id: incremental | |
| run: | | |
| # Now re-bootstrap and build. The build is incremental because we were careful with the timestamps. | |
| # We run tests with "sage -t --new"; this only tests the uncommitted changes. | |
| ./bootstrap && make build && ./sage -t --new -p2 | |
| working-directory: ./worktree-image | |
| env: | |
| MAKE: make -j2 | |
| SAGE_NUM_THREADS: 2 | |
| - name: Build and test modularized distributions | |
| if: always() && steps.worktree.outcome == 'success' | |
| run: make V=0 tox && make pypi-wheels | |
| working-directory: ./worktree-image | |
| env: | |
| MAKE: make -j2 | |
| SAGE_NUM_THREADS: 2 | |
| - name: Set up node to install pyright | |
| if: always() && steps.worktree.outcome == 'success' | |
| uses: actions/setup-node@v3 | |
| with: | |
| node-version: '12' | |
| - name: Install pyright | |
| if: always() && steps.worktree.outcome == 'success' | |
| # Fix to v232 due to bug https://github.com/microsoft/pyright/issues/3239 | |
| run: npm install -g [email protected] | |
| - name: Static code check with pyright | |
| if: always() && steps.worktree.outcome == 'success' | |
| run: pyright | |
| working-directory: ./worktree-image | |
| - name: Clean (fallback to non-incremental) | |
| id: clean | |
| if: always() && steps.worktree.outcome == 'success' && steps.incremental.outcome != 'success' | |
| run: | | |
| set -ex | |
| ./bootstrap && make doc-clean doc-uninstall sagelib-clean && git clean -fx src/sage && ./config.status | |
| working-directory: ./worktree-image | |
| env: | |
| MAKE: make -j2 | |
| SAGE_NUM_THREADS: 2 | |
| - name: Build | |
| # This step is needed because building the modularized distributions installs some optional packages, | |
| # so the editable install of sagelib needs to build the corresponding optional extension modules. | |
| id: build | |
| if: always() && (steps.incremental.outcome == 'success' || steps.clean.outcome == 'success') | |
| run: | | |
| make build | |
| working-directory: ./worktree-image | |
| env: | |
| MAKE: make -j2 | |
| SAGE_NUM_THREADS: 2 | |
| - name: Pytest | |
| if: contains(github.ref, 'pytest') | |
| run: | | |
| ../sage -python -m pip install coverage pytest-xdist | |
| ../sage -python -m coverage run -m pytest -c tox.ini --doctest-modules || true | |
| working-directory: ./worktree-image/src | |
| env: | |
| # Increase the length of the lines in the "short summary" | |
| COLUMNS: 120 | |
| - name: Test all files (sage -t --all --long) | |
| if: always() && steps.build.outcome == 'success' | |
| run: | | |
| ../sage -python -m pip install coverage | |
| ../sage -python -m coverage run ./bin/sage-runtests --all --long -p2 --random-seed=286735480429121101562228604801325644303 | |
| working-directory: ./worktree-image/src | |
| - name: Prepare coverage results | |
| if: always() && steps.build.outcome == 'success' | |
| run: | | |
| ./venv/bin/python3 -m coverage combine src/.coverage/ | |
| ./venv/bin/python3 -m coverage xml | |
| find . -name *coverage* | |
| working-directory: ./worktree-image | |
| - name: Upload coverage to codecov | |
| if: always() && steps.build.outcome == 'success' | |
| uses: codecov/codecov-action@v3 | |
| with: | |
| files: ./worktree-image/coverage.xml |