Skip to content

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

null analysis should merge null contracts from equivalent super methods

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

Triggered via push April 26, 2024 18:20
Status Success
Total duration 25m 52s
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
5.32 KB
test-results-linux Expired
775 KB