aboutsummaryrefslogtreecommitdiff
path: root/.github/isabelle-action
ModeNameSize
-rw-r--r--Dockerfile812logplain
-rw-r--r--action.yml233logplain
-rw-r--r--entrypoint.sh92logplain