aboutsummaryrefslogtreecommitdiff
path: root/.github/isabelle-action/entrypoint.sh
diff options
context:
space:
mode:
authorJosh Chen2021-04-17 17:41:06 +0100
committerJosh Chen2021-04-17 17:41:06 +0100
commit092875d160a2d18c94bde41c6472e8031ab57313 (patch)
tree94a8a08dcf264294fb6a128d1f32912c0d86f829 /.github/isabelle-action/entrypoint.sh
parent3a34ca2b43fbd5725a7435dfafdb4cf179a8ec8b (diff)
Patch proof. Now works on Isabelle2021.
Diffstat (limited to '.github/isabelle-action/entrypoint.sh')
0 files changed, 0 insertions, 0 deletions