Skip to content
Build and Deploy

Avoid removal of virtual method calls from call graph when applying method overrides #217

Sign in to view logs

Avoid removal of virtual method calls from call graph when applying method overrides

Avoid removal of virtual method calls from call graph when applying method overrides #217

Triggered via pull request February 20, 2024 18:29
@linuswagnerlinuswagner
opened #84
83-underapproximation-in-closeoverriddenvirtualcalls
Status Success
Total duration 4m 24s
Artifacts 1

build.yaml

on: pull_request
builds
4m 13s
builds
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
builds
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v2, actions/setup-java@v1, actions/cache@v2, SWAT-engineering/maven-full-artifacts-action@v1. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
builds
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/checkout@v2, actions/setup-java@v1, actions/cache@v2. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/

Artifacts

Produced during runtime
Name Size
clair-84-938fb011eaeede82488818a78e230de3a750f8b0 Expired
3.1 MB