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
52 Commits 7 Branches 0 Tags
24.2
Commit Graph

52 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Tobias Reiher
5a36842e2c Enable coverage measurement in threads 2023-09-22 18:35:28 +02:00
Tobias Reiher
838aa808ea Enable checking of line length 2023-08-15 16:42:58 +02:00
Tobias Reiher
ee74c35d71 Remove unused tool 2023-08-14 17:07:41 +02:00
Tobias Reiher
fb98bb8b12 Update black, mypy and ruff 2023-08-14 17:07:41 +02:00
Tobias Reiher
5b48506650 Exclude assert_never from test coverage 2023-08-14 17:07:41 +02:00
Tobias Reiher
6ec06d5212 Remove pylint 
Ref. eng/recordflux/RecordFlux-devutils#12
 2023-08-14 17:07:41 +02:00
Tobias Reiher
52f99114de Enable additional ruff rules 
Ref. eng/recordflux/RecordFlux-devutils#13
 2023-08-14 17:07:41 +02:00
Tobias Reiher
b0f2f26445 Remove deprecated setup in CI config 
Ref. eng/recordflux/RecordFlux#1344
 2023-06-26 18:02:19 +02:00
Tobias Reiher
7f4319741b Update python-kacl 
Ref. eng/recordflux/RecordFlux-devutils#10
 2023-06-16 12:57:53 +02:00
Tobias Reiher
1e43b3f3d5 Remove useless coverage config 2023-06-16 12:57:49 +02:00
Tobias Reiher
b196fbb5b7 Fix Makefile 
- Make `all` the default goal again
- Prevent leftover temporary files
 2023-05-12 12:04:02 +02:00
Tobias Reiher
adead91c08 Update black, mypy and ruff 2023-05-12 11:55:29 +02:00
Tobias Reiher
e5a9efd292 Add checking of changelog format using python-kacl 
Ref. eng/recordflux/RecordFlux-devutils#10
 2023-05-12 11:50:13 +02:00
Tobias Reiher
a5fac2d569 Disable all pylint checks except custom check 
Ref. eng/recordflux/RecordFlux-devutils#11
 2023-03-23 11:25:46 +01:00
Tobias Reiher
d75a56401c Remove isort, flake8 and pydocstyle 
Ref. eng/recordflux/RecordFlux-devutils#11
 2023-03-23 11:25:45 +01:00
Tobias Reiher
22a3e66771 Add generic Makefile 
Ref. eng/recordflux/RecordFlux-devutils#8
 2023-03-23 11:25:23 +01:00
Tobias Reiher
65db6e1f44 Refactor Makefile 2023-03-23 11:01:19 +01:00
Tobias Reiher
fda13cb6ed Add ruff 
Ref. eng/recordflux/RecordFlux-devutils#11
 2023-03-23 11:01:19 +01:00
Tobias Reiher
e82b9ad3f4 Ensure that all CI checks must pass before merging 2023-03-14 17:02:16 +00:00
Johannes Kliemann
e7a10ee2db Ignore missing imports for setuptools_scm 2023-02-03 11:51:31 +00:00
Tobias Reiher
5ad641f18f Add Code Owners 2023-01-30 14:30:54 +01:00
Tobias Reiher
21cddb8228 Remove GitHub CI config 2023-01-30 14:09:01 +01:00
Tobias Reiher
b3d16c0e75 Check commit messages only in MR pipelines 2023-01-30 12:28:01 +01:00
Tobias Reiher
ee24052c31 Add GitLab CI config 2023-01-19 11:02:10 +01:00
Tobias Reiher
f5c6865bae Rename package to RecordFlux-devutils 2023-01-09 10:36:01 +01:00