rahmenlose Ansicht DruckansichtUnknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]
#!/usr/bin/env sh
## This file should be run from the root of the Rocq source tree
BRANCH=$(git rev-parse --abbrev-ref HEAD)
echo "Branch: $BRANCH in $PWD"
if [ "$#" -ne 1 ]; then
PROJECT=""
else
PROJECT="--argstr project $1"
fi
if [ "$BN" ]; then
BN="--argstr bn ${BN}"
else
BN=""
fi
if [ "$NOCOQ" ]; then
NOCOQ="--arg withCoq false"
else
NOCOQ=""
fi
nix-shell ./dev/ci/nix/ --show-trace --argstr wd $PWD --argstr branch $BRANCH $PROJECT $BN $NOCOQ
[ Verzeichnis aufwärts0.68unsichere Verbindung
]
