Flussi di lavoro


GitHub Actions usa il concetto di workflow, cioè script che vengono eseguiti automaticamente ogni volta che si verifica un evento specifico (ad esempio il push di un commit).

Ogni workflow di GitHub Actions è definito in un file .yml nella directory .github/workflows. Per informazioni sui workflow, consulta la documentazione seguente:

Workflow condivisi

Alcuni workflow sono condivisi tra i repository.

Caution

I workflow condivisi vengono sincronizzati automaticamente (dal repository org-wide-files). Per questo motivo, non modificarne manualmente il contenuto.

Workflow generali

Workflow specifici del track

  • configlet: controlla che i file (di configurazione) del track siano strutturati correttamente, sia dal punto di vista sintattico che semantico
  • Nessun file importante modificato: commenta le pull request che causerebbero un nuovo test delle soluzioni esistenti
  • Test: verifica gli esercizi del track

Workflow specifici del tooling

  • Rilascio: rilascia l'immagine Docker del tooling del track su Docker Hub ed ECR

Workflow opzionali

Ci sono anche alcuni workflow a cui i track possono aderire:

Workflow personalizzati

I maintainer sono liberi di aggiungere workflow personalizzati ai propri repository. Esempi di questi workflow potrebbero essere: