Commit 49280cda authored by Ralf Jung's avatar Ralf Jung

CI: prepare for generating and uploading docs

parent 183c5cfe
Pipeline #6418 passed with stages
in 7 minutes and 45 seconds
......@@ -20,6 +20,8 @@ variables:
- 'time make -k -j$CPU_CORES TIMED=y 2>&1 | tee build-log.txt'
- 'if fgrep Axiom build-log.txt >/dev/null; then exit 1; fi'
- 'cat build-log.txt | egrep "[a-zA-Z0-9_/-]+ \((real|user): [0-9]" | tee build-time.txt'
# maybe generate and upload doc (has to be in this job as we need the .vo files)
- 'if test -n "$DOCDIR"; then build/coqdoc; fi'
cache:
key: "$CI_JOB_NAME"
paths:
......@@ -52,6 +54,7 @@ build-coq.8.7.1:
<<: *template
variables:
OPAM_PINS: "coq version 8.7.1"
DOCDIR: "center.mpi-sws.org:/www/sws-websites/plv.mpi-sws.org/iris/stdpp-doc"
except:
- triggers
......
#!/bin/bash
# Script to automatically generate and publish coqdoc via CI.
# This reads the following environment variables:
# - DOCDIR: The directory to upload the documentation to
set -e
echo "Publishing documentation from branch $CI_BUILD_REF to $DOCDIR"
# We need a custom wrapper around SSH to use our settings, and ssh-agent for the key
eval $(ssh-agent -s)
echo "${COQDOC_KEY}" | tr -d '\r' | ssh-add -
export GIT_SSH=$(readlink -e "$(dirname "$0")/ssh")
# Enable tracing mode *after* we did the secret key stuff above
set -x
#!/bin/bash
_DIR=$(readlink -e "$(dirname "$0")")
exec ssh -o StrictHostKeyChecking=yes -o UserKnownHostsFile="${_DIR}/ssh_host_keys" "$@"
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment