forked from numpy/numpy
-
Notifications
You must be signed in to change notification settings - Fork 1
/
.gitpod.yml
62 lines (57 loc) · 2.15 KB
/
.gitpod.yml
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
# Rebuilding NumPy on init - rather than on prebuild: this ensures
# that even forks do have a usable freshly built NumPy
# Might delegate this later to prebuild with Q2 improvements on gitpod
# https://www.gitpod.io/docs/config-start-tasks/#configuring-the-terminal
# -------------------------------------------------------------------------
image: numpy/numpy-gitpod:latest
tasks:
- name: Prepare development
init: |
mkdir -p .vscode
cp tools/gitpod/settings.json .vscode/settings.json
conda activate numpy-dev
python setup.py build_ext --inplace
echo "🛠 Completed rebuilding NumPy!! 🛠 "
echo "📖 Building docs 📖 "
cd doc
make html
echo "✨ Pre-build complete! You can close this terminal ✨ "
# --------------------------------------------------------
# exposing ports for liveserve
ports:
- port: 5500
onOpen: notify
# --------------------------------------------------------
# some useful extensions to have
vscode:
extensions:
- eamodio.gitlens
- njpwerner.autodocstring
- lextudio.restructuredtext
- ritwickdey.liveserver
- ms-python.python
- yzhang.markdown-all-in-one
- bungcip.better-toml
- mhutchie.git-graph
# --------------------------------------------------------
# using prebuilds for the container - note: atm this only
# works for the NumPy repo
# With this configuration the prebuild will happen on push to master
github:
prebuilds:
# enable for main/default branch
master: true
# enable for other branches (defaults to false)
branches: false
# enable for pull requests coming from this repo (defaults to true)
pullRequests: false
# enable for pull requests coming from forks (defaults to false)
pullRequestsFromForks: false
# add a check to pull requests (defaults to true)
addCheck: false
# add a "Review in Gitpod" button as a comment to pull requests (defaults to false)
addComment: false
# add a "Review in Gitpod" button to the pull request's description (defaults to false)
addBadge: false
# add a label once the prebuild is ready to pull requests (defaults to false)
addLabel: false