Skip to content

Merge pull request #437 from eed3si9n/wip/ci #836

Merge pull request #437 from eed3si9n/wip/ci

Merge pull request #437 from eed3si9n/wip/ci #836

Triggered via push November 25, 2024 17:40
Status Success
Total duration 7m 32s
Artifacts

ci.yml

on: push
changedfiles
5s
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#L894
ok, complexity of the most complex definition tuple_type: 1217, lower than the allowed ceiling 1400