summaryrefslogtreecommitdiff
path: root/.gitpod.yml
blob: f6b80c63f5d686643a3521a2a8b8bd0dbe3c1b84 (plain)
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
# https://www.gitpod.io/docs/references/gitpod-yml
image:
  file: Dockerfile.devcontainer
  context: .
tasks:
  - before: |
      task install:pip-deps
    command: |
      task --list
github:
  prebuilds:
    addBadge: false
    addCheck: prevent-merge-on-error
    addComment: false
    branches: false
    master: false
    pullRequests: false
    pullRequestsFromForks: false
vscode:
  extensions:
    - ms-python.python
    - redhat.vscode-yaml
    - redhat.vscode-xml
    - stardog-union.stardog-rdf-grammars
    - lextudio.restructuredtext
    - trond-snekvik.simple-rst
    - EditorConfig.EditorConfig
    - paulvarache.vscode-taskfile
    - stardog-union.vscode-stardog-languages