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

7 Commits

Author SHA1 Message Date
Tobias Reiher
7d5514cdb8 Extend detection of fixup commits 
Ref. None
 2024-07-10 18:13:38 +02:00
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
f5c6865bae Rename package to RecordFlux-devutils 2023-01-09 10:36:01 +01:00
Alexander Senier
e46aaa2ab0 Add integration test for custom pylint checker 
NB: Remove the -n argument to pytest as setting up the workers took much
longer than the 3 tests that we execute currently on machines with many
cores.
 2022-08-18 15:37:23 +02:00
Tobias Reiher
e1c8b922af Update development tools 
Ref. #6
 2022-07-04 17:44:19 +02:00
Tobias Reiher
923e9324e7 Add configs and custom checkers 2021-10-05 17:37:08 +02:00