10 lines
124 B
YAML
10 lines
124 B
YAML
|
image:
|
||
|
|
file: .docker/gitpod/Dockerfile
|
||
|
|
|
||
|
|
vscode:
|
||
|
|
extensions:
|
||
|
|
- leanprover.lean4
|
||
|
|
|
||
|
|
tasks:
|
||
|
|
- init: lake exe cache get
|