tools- jozef-javorsky-dodo · COMPLETED
Experimental toolbox to manage PR in mathcomp
github.com/jozef-javorsky-dodo/tools- · ★ 0 · Forks 0 · Size 8 KB
SUMMARY
Technologies 2
Scored 2
Observed 2
Practices 6
Evidence 2
Skips 0
COVERAGE
Analyzed 4 files · 7 commits · 0 API calls
TECHNOLOGIES & DEPTH
Markdown LANGUAGE Depth 70
1 files · PRODUCTION
Shell LANGUAGE Depth 70
1 files · PRODUCTION
PRACTICES
documentation · observedautomated_tests · absentcontinuous_integration · absentcontainerization · absentlinting · absentformatting · absent
ACTIVITY & OWNERSHIP
First commit 2022-12-15
Last commit 2023-03-27
Active months 2
Commits 7