You've already forked gnatsas-gitlab-workflow
mirror of
https://github.com/AdaCore/gnatsas-gitlab-workflow.git
synced 2026-02-12 13:13:20 -08:00
1.2 KiB
1.2 KiB
GNAT SAS Gitlab workflow
This repository is both an example and set of tools to use gnatsas analysis with Gitlab
- Performs GNAT SAS analysis of each merge request
- Provides CodeQuality metrics directly on Gitlab
- Allow for manual review using GNAT Studio
Setup
- Install the python prerequisites
$ pip install -r requirements.txt
- Make sure that GNAT Studio and GNAT SAS are in
PATH - Set
GITLAB_TOKENto the value of a private access token
Workflow
Create a branch
- Create the branch you want to work on
- Push your changes
- Wait for the CI analysis to run
- You can have a look at the CodeQuality results directly on GitLab
- Download the result with
python3 review.py init - This will show all the unreviewed messages
Perform manual review using GNAT Studio
- Start GNAT Studio with the review tool:
python3 review.py edit. - This will place you in the GNAT SAS report view.
- Perform the reviews you want
- Close GNAT Studio
- The
gnatsas.sarreview file (intictactoe/gnatsas/gnatsas.outputs/gnatsas.sar) is updated - Commit, merge if needed, and push the file
- The new review will be available in subsequent CI analysis