2022-08-12 12:15:51 +00:00
name : Maven Dependency Tree Dependency Submission
description : A GitHub Action for Maven project to submit a complete dependency tree to populate the GitHub Dependency Graph
2022-08-30 15:14:07 +01:00
branding :
icon : alert-triangle
color : red
2022-08-12 12:15:51 +00:00
inputs :
directory :
description : The directory that contains the maven project
type : string
default : ${{ github.workspace }}
2022-10-26 15:11:32 +00:00
settings-file :
description : Optional path to a Maven settings.xml file for the dependencies to be resolved
type : string
ignore-maven-wrapper :
description : Flag for optionally ignoring any maven wrapper files (mvnw) and instead rely on the PATH provided mvn
type : boolean
default : false
maven-args :
description : Additional maven arguments to add to the command line invocation of maven when it generates the dependency snapshot
type : string
default : ''
2022-10-28 16:38:02 +00:00
snapshot-include-file-name :
2023-02-22 17:23:39 +00:00
description : Optionally include the file name in the dependency snapshot report to GitHub. This is required to be true if you want the results in the dependency tree to have a working link.
2022-10-28 16:38:02 +00:00
type : boolean
2023-02-22 17:23:39 +00:00
default : true
2022-10-28 16:38:02 +00:00
snapshot-dependency-file-name :
description : An optional override to specify the path to the file in the repository that the snapshot should be associated with.
type : string
required : false
2022-08-12 12:15:51 +00:00
token :
description : The GitHub token to use to submit the depedency snapshot to the repository
type : string
default : ${{ github.token }}
2023-10-31 13:20:48 +00:00
snapshot-sha :
description : The SHA that the results will be linked to in the dependency snapshot
type : string
required : false
default : ''
snapshot-ref :
2023-11-22 17:27:11 +00:00
description : The ref that the results will be linked to in the dependency snapshot
2023-10-31 13:20:48 +00:00
type : string
required : false
default : ''
2022-08-12 12:15:51 +00:00
runs :
using : node16
2022-08-30 15:14:07 +01:00
main : dist/index.js