/.github/isabelle-action/

• ../
• Dockerfile
• action.yml
• entrypoint.sh