Skip to content
This repository has been archived by the owner on May 3, 2024. It is now read-only.

Commit

Permalink
ci: automatic labeler and project management
Browse files Browse the repository at this point in the history
Signed-off-by: GitHub <[email protected]>
  • Loading branch information
ferferga authored Nov 23, 2023
1 parent 7ccef50 commit 67bd713
Show file tree
Hide file tree
Showing 2 changed files with 81 additions and 0 deletions.
36 changes: 36 additions & 0 deletions .github/labeler.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,36 @@
ci:
- '.github/**/**'

authentication:
- 'decide/authentication/**/**'

store:
- 'decide/store/**/**'

booth:
- 'decide/booth/**/**'

census:
- 'decide/census/**/**'

mixnet:
- 'decide/mixnet/**/**'

postproc:
- 'decide/postproc/**/**'

visualizer:
- 'decide/visualizer/**/**'

voting:
- 'decide/voting/**/**'

base:
- 'decide/base/**/**'

tests:
- any:
[
'decide/**/tests.py',
'decide/**/*test*'
]
45 changes: 45 additions & 0 deletions .github/workflows/automation.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,45 @@
name: Automatizacion 🤖

concurrency:
group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
cancel-in-progress: true

on:
push:
branches:
- master
paths-ignore:
- "**/*.md"
pull_request_target:
issues:
- opened
- reopened
- transferred

jobs:
project:
name: Actualizar el proyecto 📊
runs-on: ubuntu-latest
steps:
- uses: actions/[email protected]
if: ${{ github.event_name == 'pull_request_target' || github.event_name == 'issues' }}
continue-on-error: true
with:
project-url: https://github.com/orgs/us-ferferga/projects/2
column: En progreso
github-token: ${{ secrets.DECIDE_PROJECT_SECRET }}

label:
name: Etiquetado 🏷️
runs-on: ubuntu-latest
steps:
- name: Etiquetar PR dependiendo de los archivos modificados
uses: actions/labeler@v4
if: ${{ github.event_name == 'pull_request_target' }}
continue-on-error: true

- name: Comprobar todos los PR para conflictos ⛔
uses: eps1lon/[email protected]
if: ${{ github.event_name == 'pull_request_target' }}
with:
dirtyLabel: "conflictos"

0 comments on commit 67bd713

Please sign in to comment.