Gitpod integration (#240)

Add Gitpod configuration
This commit is contained in:
i-ky 2023-05-20 17:55:19 +03:00 committed by GitHub
parent e651ea7614
commit f0ad76fff6
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 56 additions and 0 deletions

8
.gitpod.yml Normal file
View file

@ -0,0 +1,8 @@
tasks:
- init: >-
deploy/build_linux.sh
image:
file: .gitpod.Dockerfile
vscode:
extensions:
- llvm-vs-code-extensions.vscode-clangd