ada/RecordFlux-devutils
0
0
Fork 0
mirror of https://github.com/AdaCore/RecordFlux-devutils.git synced 2026-02-12 13:10:44 -08:00
Code Issues Packages Projects Releases Wiki Activity
78 Commits 7 Branches 0 Tags
main
Commit Graph

3 Commits

Author SHA1 Message Date
Tobias Reiher
82d80c18d2 Add commit message check 
Ref. eng/recordflux/RecordFlux#1414
 2023-12-12 15:49:32 +01:00
Tobias Reiher
6ec06d5212 Remove pylint 
Ref. eng/recordflux/RecordFlux-devutils#12
 2023-08-14 17:07:41 +02:00
Tobias Reiher
923e9324e7 Add configs and custom checkers 2021-10-05 17:37:08 +02:00