13 lines
191 B
YAML
13 lines
191 B
YAML
image:
|
|
file: .docker/gitpod/Dockerfile
|
|
|
|
vscode:
|
|
extensions:
|
|
- leanprover.lean4
|
|
|
|
tasks:
|
|
- init: |
|
|
lake exe cache get
|
|
- command: |
|
|
sudo apt-get --assume-yes install gcc
|