08456-fix-6764.sh « user-overlays « ci « dev - coq - The formal proof system

about summary refs log tree commit diff

path: root/dev/ci/user-overlays/08456-fix-6764.sh

blob: 3b951d9c07b17fc074cd22ca0b0d75692dd90101 (plain)

#!/bin/sh

if [ "$CI_PULL_REQUEST" = "8456" ] || [ "$CI_BRANCH" = "fix-6764" ]; then
    Elpi_CI_REF=overlay/8456
fi