aboutsummaryrefslogtreecommitdiff
path: root/.github/isabelle-action/Dockerfile
diff options
context:
space:
mode:
authorJosh Chen2020-07-16 18:59:34 +0200
committerJosh Chen2020-07-16 18:59:34 +0200
commitd81a1db878414209a89dcfcc39b6be4b64f20cd4 (patch)
treea89f8a4489a71daf7d0423e1373743dd0be00848 /.github/isabelle-action/Dockerfile
parentf82258111e48a94d22f12fd4920d443edb66fb55 (diff)
fix action path
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions