Code Climate
Product
Browser Extension
Features
Pricing
Developers
Sign up
Login
paolobrasolin/jekyll-agda
View on GitHub
Star
Overview
Progress
Issues
Code
Filters
Trends
Last
main
build
See recent builds
20 days ago
Refresh default branch
Refresh
lib/jekyll/agda/runner.rb
Summary
Maintainability
A
0 mins
Test Coverage
F
35%
Issues
Source
Stats
Size
Lines of code
67
Test coverage
Relevant LOC
45
Covered LOC
16
Missed LOC
29
Hits/line
0.4