mcode-action/action.yml at main · ForAllSecure/mcode-action · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
name: "Mayhem for Code"
description: "Automatically test your binary targets with Mayhem"
author: "ForAllSecure"
inputs:
  mayhem-token:
    description: Personal API token for authenticating to Mayhem (only required when using a custom mayhem-url)
    required: false
  mayhem-url:
    description: URL pointing to your Mayhem instance
    required: false
  owner:
    description: Sets the owner of the project (workspace or account name).
    required: false
    default: ${{ github.repository_owner }}
  project:
    description: Sets the name of the project. Defaults to the name of your repository if not defined.
    required: false
  github-token:
    description: GitHub token for posting feedback
    required: false
    default: ${{ github.token }}
  sarif-output:
    description: SARIF output path (must be a directory, doesn't have to exist yet). You can upload to to GitHub using the 'github/codeql-action/upload-sarif@v3' action
    required: false
  junit-output:
    description: JUnit output path (must be a directory, doesn't have to exist yet). You can upload the artifact to GitHub using the 'actions/upload-artifact' action
    required: false
  coverage-output:
    description: Coverage report output path (must be a directory, doesn't have to exist yet). You can upload the artifacts to GitHub using the 'actions/upload-artifact' action
    required: false
  fail-on-defects:
    description: Should we fail the workflow upon detecting a defect?
    required: false
    default: "false"
  verbosity:
    description: Verbosity level for starting runs
    required: false
  package:
    description: Path to the Mayhem package relative to the repository root
    required: false
    default: "."
  duration:
    description: Duration of the run in seconds. Takes precedence over any '--duration' passed via 'args'. Defaults to 60 seconds if neither is set.
    required: false
  revision:
    description: >-
      Commit to record on the Mayhem run. Defaults to the pull request head on pull_request events, else the
      commit checked out under 'package', else GITHUB_SHA. Set it when the job builds a commit other than the
      one it checked out.
    required: false
  parent-revision:
    description: >-
      Parent commit to record on the Mayhem run. Defaults to the first parent of the recorded 'revision', read
      from its commit object (this works in a shallow checkout). Left empty when that commit is not checked out.
    required: false
  build-id:
    description: >-
      Build id to record on the Mayhem run. Defaults to the newest commit the recorded 'revision' shares with
      the upstream repository this one was forked from (its merge base with the upstream default branch).
      Left empty when the repository is not a fork. Note that this default may change without notice, if
      you want to control the build-id, ensure you set a specific value either through this option or
      through the args parameter.
    required: false
  args:
    description: Command line arguments to override CLI behavior
    required: false
runs:
  using: "node24"
  main: "dist/index.js"
outputs:
  runId:
    description: The identifier of the run that this action triggered in Mayhem
branding:
  icon: "shield"
  color: "red"