Skip to content

null analysis should merge null contracts from equivalent super methods #100

null analysis should merge null contracts from equivalent super methods

null analysis should merge null contracts from equivalent super methods #100

Triggered via push April 11, 2024 21:10
Status Success
Total duration 25m 9s
Artifacts 2

ci.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build
org/eclipse/jgit/internal/JGitText
build
org/eclipse/jgit/internal/JGitText

Artifacts

Produced during runtime
Name Size
Event File Expired
1.86 KB
test-results-linux Expired
773 KB