| author |  Loris Cro <kappaloris@gmail.com> 2022-11-25 20:37:15+01:00 |
| committer | Loris Cro <kappaloris@gmail.com> 2022-11-25 20:37:15+01:00 |
| log | f4c63400f0d87c6c24e11995501f119a6029b683 |
| tree | 1eb8d9b894de465408eabb6cf9326318f928e1f9 |
| parent | c59d60893b9485e26888b87fa10276fb1e5bdf0e |
ci: give name to manually run workflows
1 files changed, 1 insertions(+), 0 deletions(-)
.github- workflows
.github/workflows/ci.yaml+1
| ... | ... | @@ -1,4 +1,5 @@ |
| 1 | 1 | name: ci |
| 2 | run-name: ${{ inputs.commit }} | |
| 2 | 3 | on: |
| 3 | 4 | workflow_dispatch: |
| 4 | 5 | # Allows launching a CI run on an arbitrary commit |