2021-07-15 21:12:15 +02:00
|
|
|
name: 'Coverage'
|
2021-09-25 09:50:58 +02:00
|
|
|
description: 'Publish diff coverage report as PR comment'
|
2021-07-15 21:08:53 +02:00
|
|
|
inputs:
|
2021-07-15 21:12:15 +02:00
|
|
|
GITHUB_TOKEN: # id of input
|
|
|
|
|
description: 'GitHub token'
|
2021-07-15 21:08:53 +02:00
|
|
|
required: true
|
|
|
|
|
runs:
|
|
|
|
|
using: "composite"
|
|
|
|
|
steps:
|
2021-07-15 21:12:15 +02:00
|
|
|
- run: echo ${{ inputs.GITHUB_TOKEN }} | gh auth login --with-token
|
2021-07-15 21:08:53 +02:00
|
|
|
shell: bash
|
2021-07-15 21:12:15 +02:00
|
|
|
- run: echo "AAAA" && gh repo view && echo "BBBB"
|
2021-07-15 21:08:53 +02:00
|
|
|
shell: bash
|