mirror of
https://gitlab.redox-os.org/redox-os/redox.git
synced 2026-06-25 22:34:18 +08:00
Move ci script
This commit is contained in:
parent
43d8531376
commit
76b1fbc8f6
@ -3,6 +3,6 @@ sudo: required
|
||||
install:
|
||||
- curl https://sh.rustup.rs -sSf > rustup; chmod +x rustup; ./rustup --default-toolchain nightly -y
|
||||
- export PATH="$HOME/.cargo/bin:$PATH"; ./setup.sh
|
||||
script: export PATH="$HOME/.cargo/bin:$PATH"; ./jenkins.sh
|
||||
script: export PATH="$HOME/.cargo/bin:$PATH"; ./ci.sh
|
||||
notifications:
|
||||
email: false
|
||||
|
||||
Loading…
Reference in New Issue
Block a user