paolobrasolin/jekyll-agda

View on GitHub
Branch: main(View all)
NameLines of codeMaintainabilityTest coverage
.github/actions/setup-ruby/action.yml
.github/workflows/main.yml
.gitignore
.rspec
CHANGELOG.md
Gemfile
LICENSE
README.md
jekyll-agda.gemspec
lib/jekyll/agda.rb5
A
0 mins
C
75%
lib/jekyll/agda/browsable_page.rb17
A
0 mins
C
75%
lib/jekyll/agda/runner.rb67
A
0 mins
F
35%
lib/jekyll/agda/version.rb5
A
0 mins
lib/jekyll/agda/weaver.rb67
A
45 mins
F
50%