mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-11 14:06:13 +03:00
Update .gitpod.yml
This commit is contained in:
parent
a1013acbd8
commit
b8edc4c7b9
@ -8,6 +8,7 @@ tasks:
|
||||
command: |
|
||||
[ -f /workspace/dropbear.hostkey ] || dropbearkey -t rsa -f /workspace/dropbear.hostkey
|
||||
dropbear -r /workspace/dropbear.hostkey -F -E -s -p 2222 -P ~/dropbear.pid
|
||||
- command: cabal v2-update
|
||||
- command: |
|
||||
mkdir -p ~/.ssh
|
||||
if test -z "$SSH_KEY"; then
|
||||
|
Loading…
Reference in New Issue
Block a user