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
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Tobias Reiher 5a36842e2c Enable coverage measurement in threads
2023-09-22 18:35:28 +02:00
.gitlab
Add Code Owners
2023-01-30 14:30:54 +01:00
devutils
Remove pylint
2023-08-14 17:07:41 +02:00
.gitignore
Initial commit
2021-10-04 13:49:14 +02:00
.gitlab-ci.yml
Remove pylint
2023-08-14 17:07:41 +02:00
LICENSE
Initial commit
2021-10-04 13:49:14 +02:00
Makefile
Remove pylint
2023-08-14 17:07:41 +02:00
Makefile.common
Remove pylint
2023-08-14 17:07:41 +02:00
pyproject.toml
Enable coverage measurement in threads
2023-09-22 18:35:28 +02:00
setup.cfg
Update black, mypy and ruff
2023-08-14 17:07:41 +02:00
Description
No description provided
Apache-2.0 9.5 MiB
Languages
Python 54.9%
Shell 36.2%
Makefile 8.9%