Add input option to merge pr reports

This commit is contained in:
Lauri Huotari (Github Mrflatt)
2024-08-07 21:07:39 +03:00
committed by Fabio Niephaus
parent 2911b2304b
commit cc51024a44
4 changed files with 77 additions and 3 deletions

View File

@@ -47,6 +47,10 @@ inputs:
required: false
description: 'Post a comment containing a Native Image build report on pull requests.'
default: 'false'
native-image-pr-reports-update:
required: false
description: 'Instead of posting another comment, update an existing PR comment with the latest Native Image build report.'
default: 'false'
version:
required: false
description: 'GraalVM version (release, latest, dev).'