Skip to content

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

null analysis should merge null contracts from equivalent super methods

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

Triggered via push April 11, 2024 20:30
Status Success
Total duration 24m 17s
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.87 KB
test-results-linux Expired
771 KB