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 branch 'develop' into t/30310/immutability_of_chart_functions
- Loading branch information
Showing
3,556 changed files
with
105,584 additions
and
59,856 deletions.
The diff you're trying to view is too large. We only load the first 3000 changed files.
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
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
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,55 @@ | ||
name: Build & Test WSL | ||
|
||
on: | ||
pull_request: | ||
types: [opened, synchronize] | ||
push: | ||
tags: | ||
- '*' | ||
branches: | ||
- 'public/build/**wsl**' | ||
workflow_dispatch: | ||
|
||
jobs: | ||
windows: | ||
runs-on: windows-latest | ||
name: Ubuntu 20.04 | ||
# Following https://trac.sagemath.org/ticket/25206#comment:63 | ||
steps: | ||
- name: Configure git | ||
run: git config --global core.symlinks true | ||
- uses: actions/checkout@v2 | ||
- name: Install Ubuntu 20.04 (in WSL) | ||
run: | | ||
(New-Object System.Net.WebClient).DownloadFile("https://aka.ms/wslubuntu2004", "Ubuntu.appx") | ||
Expand-Archive Ubuntu.appx | ||
Ubuntu\ubuntu2004.exe install --root | ||
- name: Install dependencies | ||
run: | | ||
wsl sudo apt-get update -y | ||
wsl sudo apt-get install -y tox | ||
- name: Build | ||
run: wsl tox -e local-sudo-ubuntu-standard -- SAGE_NUM_THREADS=4 build | ||
env: | ||
# WSL runs everything as root, so we have to enable build as root user | ||
EXTRA_CONFIGURE_ARGS: "--enable-build-as-root" | ||
# If make is invoked in parellel (i.e. with -jN where N > 1), then we sometimes run into errors for some reason | ||
# So keep N small in order to minimize the risk | ||
MAKE: "make -j2" | ||
WSLENV: EXTRA_CONFIGURE_ARGS:MAKE | ||
- name: Test | ||
run: wsl tox -e local-sudo-ubuntu-standard -- SAGE_NUM_THREADS=4 ptest | ||
- name: Prepare logs artifact | ||
run: mkdir -p "artifacts/logs"; cp -r .tox/*/log "artifacts/logs" | ||
shell: bash | ||
if: always() | ||
- uses: actions/upload-artifact@v1 | ||
with: | ||
path: artifacts | ||
name: logs | ||
if: always() | ||
- name: Print out logs for immediate inspection | ||
# and markup the output with GitHub Actions logging commands | ||
run: .github/workflows/scan-logs.sh "artifacts/logs" | ||
shell: bash | ||
if: always() |
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,47 @@ | ||
name: Lint | ||
|
||
on: [push, pull_request] | ||
|
||
jobs: | ||
lint-pycodestyle: | ||
name: Code style check with pycodestyle | ||
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 | ||
lint-relint: | ||
name: Code style check with relint | ||
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 relint | ||
run: pip install tox relint | ||
- name: Lint using relint | ||
run: tox -e relint src/ | ||
lint-pyright: | ||
name: Static type check with pyright | ||
runs-on: ubuntu-latest | ||
steps: | ||
- name: Checkout | ||
uses: actions/checkout@v2 | ||
- name: Set up node to install pyright | ||
uses: actions/setup-node@v1 | ||
with: | ||
node-version: '12' | ||
- name: Install pyright | ||
run: npm install -g pyright | ||
- name: Lint using pyright | ||
run: pyright |
Oops, something went wrong.