Nicolas Setton setton

Created 4 commits in 4 repositories

AdaCore/adareducer 1 commit

AdaCore/ada_language_server 1 commit

AdaCore/gps 1 commit

AdaCore/gnatdashboard 1 commit

Created a pull request in AdaCore/adareducer that received 3 comments
Nov 19

Fix the help for the Cautious mode

When the Cautious mode catches something, print a more helpful message. Adapt the Makefile so that it doesn't hard code a temporary directory, allo…

+26 −6 • 3 comments

Opened 4 other pull requests in 1 repository

AdaCore/ada_language_server 2 merged 1 open 1 closed

Topic/merge edge into master Nov 15

UB11-011 Call "npm audit" to check for vulnerabilities Nov 11

UA25-069 Update mocha Nov 11

UB10-025 Do not raise errors for missing object dirs Nov 11

Nicolas Setton setton

Achievements

Achievements

Organizations

Block or report setton

Pinned Loading

330 contributions in the last year

Contribution activity

November 2021

Created a pull request in AdaCore/adareducer that received 3 comments

Fix the help for the Cautious mode