mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

show the HEAD of the integration branch to faciliate reproducing an error with rustfmt

Browse Source
This commit is contained in:
Stéphane Campinas 2019-03-20 10:16:41 +01:00
parent 54262daff2
commit ee90de5746
No known key found for this signature in database
GPG Key ID: 6D5620D908210133
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
ci/integration.sh
View File

@ -76,10 +76,16 @@ function check_fmt_base {
fi
}
function show_head {
local head=$(git rev-parse HEAD)
echo "Head commit of ${INTEGRATION}: $head"
}
case ${INTEGRATION} in
cargo)
git clone --depth=1 https://github.com/rust-lang/${INTEGRATION}.git
cd ${INTEGRATION}
show_head
export CFG_DISABLE_CROSS_TESTS=1
check_fmt_with_all_tests
cd -
@ -87,12 +93,14 @@ case ${INTEGRATION} in
crater)
git clone --depth=1 https://github.com/rust-lang-nursery/${INTEGRATION}.git
cd ${INTEGRATION}
show_head
check_fmt_with_lib_tests
cd -
;;
*)
git clone --depth=1 https://github.com/rust-lang-nursery/${INTEGRATION}.git
cd ${INTEGRATION}
show_head
check_fmt_with_all_tests
cd -
;;