diff options
| author | Nicolas Paul <n@nc0.fr> | 2024-02-22 18:11:01 +0100 |
|---|---|---|
| committer | Nicolas Paul <n@nc0.fr> | 2024-02-22 18:11:01 +0100 |
| commit | 2458cb706ab12ce935d3ba1dfb70a5fed9e5d7dd (patch) | |
| tree | 5fb671249ec3a991e2d409de2bbe3bbaf433ed5a /life2 | |
| parent | 5b5808ef07bb3eec5f244c64ac5566f3a322c6cf (diff) | |
Préparation de GitHub Actions
GitHub Actions est un système de CI/CD gratuit proposé par GitHub
permettant la vérification d'un ensemble de règles et d'analyses
statiques sur un programme.
La mise en place de GitHub Actions permettra de faciliter la
collaboration et le déployement des outils (notamment le simulateur).
Signed-off-by: Nicolas Paul <n@nc0.fr>
Diffstat (limited to 'life2')
0 files changed, 0 insertions, 0 deletions