.github/isabelle-action/action.yml


1
2
3
4
5
6
7
8
9
10
11
12
13

name: "Isabelle action"
description: "Run Isabelle"
author: "josh@joshchen.io"

inputs:
  TOOL_ARGS:
    description: "Isabelle tool to invoke and arguments to pass"
    required: true

runs:
  using: "docker"
  image: "Dockerfile"