aboutsummaryrefslogtreecommitdiff
path: root/.github/isabelle-action
ModeNameSize
-rw-r--r--Dockerfile841logplain
-rw-r--r--action.yml195logplain