-
Notifications
You must be signed in to change notification settings - Fork 5
/
action.yml
41 lines (38 loc) · 1.52 KB
/
action.yml
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
name: Autograding Action
description: Action that autogrades assignments based on configurable quality criteria.
inputs:
config:
description: "Autograding configuration (if not set the default configuration will be used)"
required: false
checks-name:
description: "Name of the GitHub checks (if not set the default name will be used)"
required: false
pr-number:
description: "Pull request number (if not set, PR comments will be skipped)"
required: false
github-token:
description: "GitHub authentication token (GITHUB_TOKEN)"
required: true
skip-annotations:
description: "Skip the creation of annotations (for warnings and missed coverage) if not empty"
required: false
max-warning-annotations:
description: "Limit the number of warning annotations at specific lines. By default, all annotations are created."
required: false
max-coverage-annotations:
description: "Limit the number of coverage annotations at specific lines. By default, all annotations are created."
required: false
runs:
using: 'docker'
image: 'docker://uhafner/autograding-github-action:4.2.0-SNAPSHOT'
env:
CONFIG: ${{ inputs.config }}
CHECKS_NAME: ${{ inputs.checks-name }}
PR_NUMBER: ${{ inputs.pr-number }}
GITHUB_TOKEN: ${{ inputs.github-token }}
SKIP_ANNOTATIONS: ${{ inputs.skip-annotations }}
MAX_WARNING_ANNOTATIONS: ${{ inputs.max-warning-annotations }}
MAX_COVERAGE_ANNOTATIONS: ${{ inputs.max-coverage-annotations }}
branding:
icon: check-square
color: green