Skip to content

Merge pull request #428 from eed3si9n/wip/bump #803

Merge pull request #428 from eed3si9n/wip/bump

Merge pull request #428 from eed3si9n/wip/bump #803

Triggered via push September 12, 2024 13:36
Status Success
Total duration 2m 39s
Artifacts

ci.yml

on: push
changedfiles
6s
changedfiles
Matrix: test
Fit to window
Zoom out
Zoom in

Annotations

5 notices
test (ubuntu-latest): grammar.js#L1
ok, scala_scala/src/library/: 100.00%, expected at least 100%
test (ubuntu-latest): grammar.js#L1
ok, scala_scala/src/compiler/: 96.65%, expected at least 96%
test (ubuntu-latest): grammar.js#L1
ok, dotty/compiler/: 83.62%, expected at least 83%
test (ubuntu-latest): grammar.js#L1
ok, lila/modules/: 84.81%, expected at least 84%
test (ubuntu-latest): grammar.js#L896
ok, complexity of the most complex definition tuple_type: 1217, lower than the allowed ceiling 1400