mirror of
https://github.com/urbit/shrub.git
synced 2024-12-01 14:42:02 +03:00
restore pin-urbit-relese.url
This commit is contained in:
parent
9ca88b9a06
commit
7ebb3055ab
@ -4,8 +4,8 @@ node_js:
|
||||
before_install:
|
||||
- cd .travis # keep main directory clear
|
||||
|
||||
- wget https://github.com/urbit/urbit/releases/download/v0.5.1/urbit_0.5-1_amd64.deb
|
||||
- sudo apt install ./urbit_0.5-1_amd64.deb
|
||||
- wget -i pin-urbit-release.url -O ./urbit.deb
|
||||
- sudo apt install ./urbit.deb
|
||||
|
||||
|
||||
before_script: bash get-or-build-pill.sh
|
||||
|
1
.travis/pin-urbit-release.url
Normal file
1
.travis/pin-urbit-release.url
Normal file
@ -0,0 +1 @@
|
||||
https://github.com/urbit/urbit/releases/download/v0.5.1/urbit_0.5-1_amd64.deb
|
Loading…
Reference in New Issue
Block a user