Fixed endless interface loop #42
Triggered via pull request
September 16, 2023 12:07
mi-ki
Status
Success
Total duration
3m 14s
Artifacts
–
Annotations
15 warnings and 3 notices
|
com.puppycrawl.tools.checkstyle.checks.TodoCommentCheck:
virage/src/main/java/edu/kit/kastel/formal/virage/core/VirageCommandLineInterface.java#L602
Comment matches to-do format '(TODO)|(FIXME)'.
|
|
com.puppycrawl.tools.checkstyle.checks.TodoCommentCheck:
virage/src/main/java/edu/kit/kastel/formal/virage/core/ConfigReader.java#L661
Comment matches to-do format '(TODO)|(FIXME)'.
|
|
com.puppycrawl.tools.checkstyle.checks.TodoCommentCheck:
virage/src/main/java/edu/kit/kastel/formal/virage/core/VirageSearchManager.java#L59
Comment matches to-do format '(TODO)|(FIXME)'.
|
|
com.puppycrawl.tools.checkstyle.checks.TodoCommentCheck:
virage/src/main/java/edu/kit/kastel/formal/virage/core/VirageSearchManager.java#L82
Comment matches to-do format '(TODO)|(FIXME)'.
|
|
com.puppycrawl.tools.checkstyle.checks.TodoCommentCheck:
virage/src/main/java/edu/kit/kastel/formal/virage/core/VirageSearchManager.java#L107
Comment matches to-do format '(TODO)|(FIXME)'.
|
|
com.puppycrawl.tools.checkstyle.checks.TodoCommentCheck:
virage/src/main/java/edu/kit/kastel/formal/virage/isabelle/IsabelleProofChecker.java#L322
Comment matches to-do format '(TODO)|(FIXME)'.
|
|
com.puppycrawl.tools.checkstyle.checks.TodoCommentCheck:
virage/src/main/java/edu/kit/kastel/formal/virage/isabelle/IsabelleProofChecker.java#L429
Comment matches to-do format '(TODO)|(FIXME)'.
|
|
com.puppycrawl.tools.checkstyle.checks.TodoCommentCheck:
virage/src/main/java/edu/kit/kastel/formal/virage/isabelle/IsabelleProofChecker.java#L488
Comment matches to-do format '(TODO)|(FIXME)'.
|
|
com.puppycrawl.tools.checkstyle.checks.TodoCommentCheck:
virage/src/main/java/edu/kit/kastel/formal/virage/isabelle/IsabelleUtils.java#L104
Comment matches to-do format '(TODO)|(FIXME)'.
|
|
com.puppycrawl.tools.checkstyle.checks.TodoCommentCheck:
virage/src/main/java/edu/kit/kastel/formal/virage/isabelle/IsabelleCodeGenerator.java#L352
Comment matches to-do format '(TODO)|(FIXME)'.
|
|
com.puppycrawl.tools.checkstyle.checks.TodoCommentCheck:
virage/src/main/java/edu/kit/kastel/formal/virage/isabelle/IsabelleCodeGenerator.java#L392
Comment matches to-do format '(TODO)|(FIXME)'.
|
|
com.puppycrawl.tools.checkstyle.checks.TodoCommentCheck:
virage/src/main/java/edu/kit/kastel/formal/virage/isabelle/IsabelleFrameworkExtractor.java#L318
Comment matches to-do format '(TODO)|(FIXME)'.
|
|
com.puppycrawl.tools.checkstyle.checks.TodoCommentCheck:
virage/src/main/java/edu/kit/kastel/formal/virage/isabelle/IsabelleProofStepGenerator.java#L164
Comment matches to-do format '(TODO)|(FIXME)'.
|
|
build
The following actions uses node12 which is deprecated and will be forced to run on node16: actions/cache@v2, jwgmeligmeyling/checkstyle-github-action@master, jwgmeligmeyling/spotbugs-github-action@master. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
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
Submitting snapshot...
|
|
build
{
"detector": {
"name": "maven-dependency-tree-action",
"url": "https://github.com/advanced-security/maven-dependency-tree-action",
"version": "1.0.1"
},
"version": 0,
"job": {
"correlator": "build",
"id": "6207224337"
},
"sha": "f679761412f6598dfecdcd25fe0a0a3d424b0f94",
"ref": "refs/pull/16/merge",
"scanned": "2023-09-16T12:10:10.696Z",
"manifests": {
"ViRAGe": {
"resolved": {
"pkg:maven/org.scala-lang/[email protected]": {
"package_url": "pkg:maven/org.scala-lang/[email protected]",
"relationship": "direct",
"scope": "runtime",
"dependencies": []
},
"pkg:maven/org.junit.jupiter/[email protected]": {
"package_url": "pkg:maven/org.junit.jupiter/[email protected]",
"relationship": "direct",
"scope": "development",
"dependencies": []
},
"pkg:maven/org.junit.jupiter/[email protected]": {
"package_url": "pkg:maven/org.junit.jupiter/[email protected]",
"relationship": "direct",
"scope": "development",
"dependencies": [
"pkg:maven/org.junit.platform/[email protected]",
"pkg:maven/org.apiguardian/[email protected]"
]
},
"pkg:maven/org.junit.platform/[email protected]": {
"package_url": "pkg:maven/org.junit.platform/[email protected]",
"relationship": "indirect",
"scope": "development",
"dependencies": []
},
"pkg:maven/org.apiguardian/[email protected]": {
"package_url": "pkg:maven/org.apiguardian/[email protected]",
"relationship": "indirect",
"scope": "development",
"dependencies": []
},
"pkg:maven/org.junit.jupiter/[email protected]": {
"package_url": "pkg:maven/org.junit.jupiter/[email protected]",
"relationship": "direct",
"scope": "development",
"dependencies": [
"pkg:maven/org.opentest4j/[email protected]",
"pkg:maven/org.junit.platform/[email protected]"
]
},
"pkg:maven/org.opentest4j/[email protected]": {
"package_url": "pkg:maven/org.opentest4j/[email protected]",
"relationship": "indirect",
"scope": "development",
"dependencies": []
},
"pkg:maven/org.junit.platform/[email protected]": {
"package_url": "pkg:maven/org.junit.platform/[email protected]",
"relationship": "indirect",
"scope": "development",
"dependencies": []
},
"pkg:maven/org.junit.platform/[email protected]": {
"package_url": "pkg:maven/org.junit.platform/[email protected]",
"relationship": "direct",
"scope": "development",
"dependencies": [
"pkg:maven/org.junit.platform/[email protected]",
"pkg:maven/org.junit.platform/[email protected]"
]
},
"pkg:maven/org.junit.platform/[email protected]": {
"package_url": "pkg:maven/org.junit.platform/[email protected]",
"relationship": "indirect",
|
|
build
Snapshot successfully created at 2023-09-16T12:10:11.056Z
|