aboutsummaryrefslogtreecommitdiff
path: root/.github/isabelle-action/action.yml
blob: 49c043f55c9b721ebed06eb72d892d9c00f4161d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
name: "build"
description: "Build ROOT file"
author: "josh@joshchen.io"

inputs:
  TOOL_ARGS:
    description: "Tool and argument invokation"
    required: true

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