You've already forked adareducer
mirror of
https://github.com/AdaCore/adareducer.git
synced 2026-02-12 13:10:07 -08:00
15 lines
387 B
YAML
15 lines
387 B
YAML
image:
|
|
file: .gitpod.Dockerfile
|
|
|
|
tasks:
|
|
- init: echo "hello"
|
|
command: |
|
|
mkdir -p $HOME/adalib
|
|
curl -L https://bintray.com/reznikmm/libadalang/download_file\?file_path=libadalang-Linux-stable-static.tar.gz \
|
|
| tar xzf - -C $HOME/adalib
|
|
|
|
vscode:
|
|
extensions:
|
|
- adacore.ada@22.0.5:b56gZDvQ5KBm6u34IBzm1g==
|
|
- webfreak.debug@0.25.0:F9uLpAOde6r0l7rgMC8LTQ==
|