diff --git a/Cargo.toml b/Cargo.toml index f591afb0..b2bae3fe 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -38,8 +38,8 @@ time = { version = "0.1.34", optional = true } crossbeam = { version = "0.3", optional = true } # Serve feature -iron = { version = "0.6", optional = true } -staticfile = { version = "0.5", optional = true } +iron = { version = "0.5", optional = true } +staticfile = { version = "0.4", optional = true } ws = { version = "0.7", optional = true} [build-dependencies] diff --git a/ci/github_pages.sh b/ci/github_pages.sh index f96aefc7..b6978b59 100644 --- a/ci/github_pages.sh +++ b/ci/github_pages.sh @@ -43,7 +43,7 @@ git reset upstream/gh-pages --quiet touch . echo -e "${CYAN}Pushing changes to gh-pages${NC}" -git add -A . --quiet +git add -A . git commit -m "rebuild pages at ${rev}" --quiet git push -q upstream HEAD:gh-pages --quiet