354:23e5b4d4f272 default tip
Anton Shestakov <av6@dwimlabs.net>, Mon, 13 Apr 2020 19:01:24 +0800
tests: update a link

previous change 342:ef5986aad0ff

check-in-docker.sh

Permissions: -rwxr-xr-x

Other formats: Feeds:
#!/bin/sh
set -eu
(
cat dockerfiles/ubuntu-bionic
echo 'WORKDIR /mnt'
) | docker build --tag candolint-checker - 1>&2
docker run --rm -u worker -v "$PWD":/mnt:ro candolint-checker \
python -u checker.py "$@" 2>&1