derek/gem5
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge branch 'develop' into mypy-1.8.0

Browse Source
This commit is contained in:
Bobby R. Bruce
2024-02-02 10:40:50 -08:00
committed by GitHub
parent 80a7dfc300 ea3face87b
commit f0ee1db19f
20 changed files with 855 additions and 1035 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
requirements.txt
View File

@@ -1,2 +1,2 @@
mypy==1.8.0
pre-commit==2.20.0
pre-commit==3.6.0