This repository has been archived by the owner on Jan 30, 2023. It is now read-only.
-
-
Notifications
You must be signed in to change notification settings - Fork 7
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge remote-tracking branch 'origin/develop' into public/refactoring…
…/pytest
- Loading branch information
Showing
1,992 changed files
with
56,040 additions
and
31,955 deletions.
There are no files selected for viewing
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
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,51 @@ | ||
| name: Build & Test | ||
|
|
||
| on: | ||
| push: | ||
| workflow_dispatch: | ||
| # Allow to run manually | ||
|
|
||
| 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-docker-ubuntu-focal-standard-with-targets:dev | ||
| steps: | ||
| - name: Checkout | ||
| uses: actions/checkout@v2 | ||
|
|
||
| - name: Prepare | ||
| run: | | ||
| # Reuse built SAGE_LOCAL contained in the Docker image | ||
| ./bootstrap | ||
| ./configure --enable-build-as-root --prefix=/sage/local --with-sage-venv --enable-editable | ||
| # Install test tools | ||
| apt-get install -y git | ||
| ./sage -python -m pip install coverage | ||
| - name: Build | ||
| run: make build | ||
| env: | ||
| MAKE: make -j2 | ||
| SAGE_NUM_THREADS: 2 | ||
|
|
||
| - name: Test | ||
| run: ../sage -python -m coverage run ./bin/sage-runtests --all -p2 | ||
| working-directory: ./src | ||
|
|
||
| - name: Prepare coverage results | ||
| if: always() | ||
| run: | | ||
| ./venv/bin/python3 -m coverage combine src/.coverage/ | ||
| ./venv/bin/python3 -m coverage xml | ||
| find . -name *coverage* | ||
| - name: Upload coverage to codecov | ||
| if: always() | ||
| uses: codecov/codecov-action@v2 | ||
| with: | ||
| files: ./coverage.xml |
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
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
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
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,72 @@ | ||
| name: Build documentation | ||
|
|
||
| on: | ||
| push: | ||
| workflow_dispatch: | ||
| # Allow to run manually | ||
|
|
||
| concurrency: | ||
| # Cancel previous runs of this workflow for the same branch | ||
| group: ${{ github.workflow }}-${{ github.ref }} | ||
| cancel-in-progress: true | ||
|
|
||
| jobs: | ||
| build-docs: | ||
| runs-on: ubuntu-latest | ||
| container: ghcr.io/sagemath/sage/sage-docker-ubuntu-focal-standard-with-targets:dev | ||
| if: github.repository == 'sagemath/sagetrac-mirror' | ||
| steps: | ||
| - name: Checkout | ||
| uses: actions/checkout@v2 | ||
|
|
||
| - name: Prepare | ||
| run: | | ||
| # Reuse built SAGE_LOCAL contained in the Docker image | ||
| ./bootstrap | ||
| ./configure --enable-build-as-root --prefix=/sage/local --with-sage-venv | ||
| - name: Build | ||
| run: make doc-html | ||
| env: | ||
| MAKE: make -j2 | ||
| SAGE_NUM_THREADS: 2 | ||
|
|
||
| - name: Copy docs | ||
| run: | | ||
| # For some reason the deploy step below cannot find /sage/... | ||
| # So copy everything from there to local folder | ||
| # We also need to replace the symlinks because netlify is not following them | ||
| mkdir -p ./docs | ||
| cp -r -L /sage/local/share/doc/sage/html/en/* ./docs | ||
| - name: Deploy to Netlify preview | ||
| id: preview-netlify | ||
| if: github.ref != 'refs/heads/develop' | ||
| uses: netlify/actions/cli@master | ||
| with: | ||
| args: deploy --dir=docs --alias="${NETLIFY_ALIAS}" | ||
| env: | ||
| # Set deployment url to commit hash to easily link from the trac. | ||
| # We could also set NETLIFY_ALIAS to the branch name. | ||
| # However, netlify currently doesn't support updates to a deployment with the same alias | ||
| # https://github.com/netlify/cli/issues/948 | ||
| # https://github.com/netlify/cli/issues/1984 | ||
| # Note that even if this feature is implemented, one would also need to first process the branch name | ||
| # to workaround the bug https://github.com/netlify/cli/issues/969. | ||
| NETLIFY_ALIAS: ${{ github.sha }} | ||
| NETLIFY_AUTH_TOKEN: ${{ secrets.NETLIFY_AUTH_TOKEN }} | ||
| NETLIFY_SITE_ID: ${{ secrets.NETLIFY_SITE_ID }} | ||
|
|
||
| - name: Deploy to Netlify production | ||
| id: deploy-netlify | ||
| if: github.ref == 'refs/heads/develop' | ||
| uses: netlify/actions/cli@master | ||
| with: | ||
| args: deploy --dir=docs --prod | ||
| env: | ||
| NETLIFY_AUTH_TOKEN: ${{ secrets.NETLIFY_AUTH_TOKEN }} | ||
| NETLIFY_SITE_ID: ${{ secrets.NETLIFY_SITE_ID }} | ||
|
|
||
| - name: Report deployment url | ||
| run: | | ||
| echo "::notice::The documentation has being automatically deployed to Netlify. %0A ✅ Preview: ${{ steps.preview-netlify.outputs.NETLIFY_URL || steps.deploy-netlify.outputs.NETLIFY_URL }}" |
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
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
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
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
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,31 @@ | ||
| # CI Test For Individual Tickets | ||
|
|
||
| name: Ticket CI | ||
|
|
||
| on: | ||
| push: | ||
| branches: | ||
| # Once set to positive review, the branch from the trac ticket | ||
| # number 12345 will be copied to ticket/12345 | ||
| - 'ticket/**' | ||
|
|
||
|
|
||
| jobs: | ||
| ticket_ci: | ||
|
|
||
| # TODO: this action is only a placeholder, github actions needs | ||
| # this in the master branch to enable it | ||
|
|
||
| name: Ticket CI | ||
| runs-on: ubuntu-latest | ||
| steps: | ||
| - name: Checkout | ||
| uses: actions/checkout@v2 | ||
| - name: Set up Python | ||
| uses: actions/setup-python@v2 | ||
| with: | ||
| python-version: 3.8 | ||
| - name: Install pycodestyle | ||
| run: pip install tox pycodestyle | ||
| - name: Lint using pycodestyle | ||
| run: tox -e pycodestyle-minimal |
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
Oops, something went wrong.