.github/isabelle-action/action.yml


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

name: "build"
description: "Build ROOT file"
author: "josh@joshchen.io"

inputs:
  OPTION:
    description: "Options to invoke"
    required: true

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