Skip to content

Implement non-empty clause counting whi… #118

Implement non-empty clause counting whi…

Implement non-empty clause counting whi… #118

Triggered via pull request September 29, 2025 10:54
Status Success
Total duration 4m 16s
Artifacts

mvnbuild.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

1 warning and 3 notices
build
The `set-output` command is deprecated and will be disabled soon. Please upgrade to using Environment Files. For more information see: https://github.blog/changelog/2022-10-11-github-actions-deprecating-save-state-and-set-output-commands/
build
Snapshot successfully created at 2025-09-29T10:58:42.834Z
build
{ "detector": { "name": "maven-dependency-tree-action", "url": "https://github.com/advanced-security/maven-dependency-tree-action", "version": "1.1.0" }, "version": 0, "job": { "correlator": "build", "id": "18094558376" }, "sha": "110d0caa0536ac26220f1ac7b86983a8bcb8432a", "ref": "refs/pull/129/merge", "scanned": "2025-09-29T10:58:42.476Z", "manifests": { "APE": { "resolved": { "pkg:maven/org.sat4j/[email protected]": { "package_url": "pkg:maven/org.sat4j/[email protected]", "relationship": "direct", "scope": "runtime", "dependencies": [] }, "pkg:maven/net.sourceforge.owlapi/[email protected]": { "package_url": "pkg:maven/net.sourceforge.owlapi/[email protected]", "relationship": "direct", "scope": "runtime", "dependencies": [ "pkg:maven/net.sourceforge.owlapi/[email protected]", "pkg:maven/com.fasterxml.jackson.core/[email protected]", "pkg:maven/com.fasterxml.jackson.core/[email protected]", "pkg:maven/com.fasterxml.jackson.core/[email protected]", "pkg:maven/org.apache.commons/[email protected]", "pkg:maven/org.tukaani/[email protected]", "pkg:maven/org.slf4j/[email protected]", "pkg:maven/org.eclipse.rdf4j/[email protected]", "pkg:maven/org.eclipse.rdf4j/[email protected]", "pkg:maven/org.eclipse.rdf4j/[email protected]", "pkg:maven/org.eclipse.rdf4j/[email protected]", "pkg:maven/org.eclipse.rdf4j/[email protected]", "pkg:maven/org.eclipse.rdf4j/[email protected]", "pkg:maven/org.eclipse.rdf4j/[email protected]", "pkg:maven/org.eclipse.rdf4j/[email protected]", "pkg:maven/org.eclipse.rdf4j/[email protected]", "pkg:maven/org.eclipse.rdf4j/[email protected]", "pkg:maven/org.eclipse.rdf4j/[email protected]", "pkg:maven/org.eclipse.rdf4j/[email protected]", "pkg:maven/org.eclipse.rdf4j/[email protected]", "pkg:maven/org.eclipse.rdf4j/[email protected]", "pkg:maven/org.eclipse.rdf4j/[email protected]", "pkg:maven/org.eclipse.rdf4j/[email protected]", "pkg:maven/org.eclipse.rdf4j/[email protected]", "pkg:maven/org.eclipse.rdf4j/[email protected]", "pkg:maven/com.github.jsonld-java/[email protected]", "pkg:maven/com.github.vsonnier/[email protected]", "pkg:maven/com.github.ben-manes.caffeine/[email protected]", "pkg:maven/com.google.guava/[email protected]", "pkg:maven/com.google.code.findbugs/[email protected]" ] }, "pkg:maven/net.sourceforge.owlapi/[email protected]": { "package_url": "pkg:maven/net.sourceforge.owlapi/[email protected]", "relationship": "indirect", "scope": "runtime", "dependencies": [ "pkg:maven/net.sourceforge.owlapi/[email protected]" ] }, "pkg:maven/net.sourceforge.owlapi/[email protected]": { "package_url": "pkg:maven/net.sourceforge.owlapi/[email protected]", "relationship": "indirect",
build
Submitting snapshot...