entrypoint.sh « isabelle-action « .github - Isabelle-HoTT - trying to make Isabelle/HoTT work with Isabelle 2021-1

about summary refs log tree commit diff

path: root/.github/isabelle-action/entrypoint.sh

blob: 954226af7f0db476e99e0236a0b93520316f0a6a (plain)

#!/bin/sh

chmod +x /Isabelle/bin/isabelle
sh -c "/Isabelle/bin/isabelle $INPUT_TOOL_ARGS"