comm_alg/gitpod.yml
2023-06-09 16:55:01 -07:00

9 lines
124 B
YAML

image:
file: .docker/gitpod/Dockerfile
vscode:
extensions:
- leanprover.lean4
tasks:
- init: lake exe cache get