aboutsummaryrefslogtreecommitdiff
path: root/.github/isabelle-action/entrypoint.sh
diff options
context:
space:
mode:
authorJosh Chen2020-07-17 11:06:19 +0200
committerJosh Chen2020-07-17 11:06:19 +0200
commitf510ca75c5b01528840a0331012ef10a5545012b (patch)
tree332da13943b76f78be75e00bc6cd1cbf978be8ef /.github/isabelle-action/entrypoint.sh
parent877b9511e2ffbef518dbc92ac6a8ec98559f69f4 (diff)
fix path
Diffstat (limited to '.github/isabelle-action/entrypoint.sh')
0 files changed, 0 insertions, 0 deletions