Skip to content
Java CI with Maven

Major fixes (#15) #41

Sign in to view logs

Major fixes (#15)

Major fixes (#15) #41

Triggered via push September 14, 2023 05:17
@mi-kimi-ki
pushed 6552840
main
Status Success
Total duration 1m 58s
Artifacts –

maven.yml

on: push
build
1m 49s
build
Fit to window
Zoom out
Zoom in

Annotations

23 warnings and 3 notices
com.puppycrawl.tools.checkstyle.checks.coding.IllegalCatchCheck: virage/src/main/java/edu/kit/kastel/formal/virage/jobs/VirageJob.java#L91
Catching 'Exception' is not allowed.
com.puppycrawl.tools.checkstyle.checks.imports.UnusedImportsCheck: virage/src/main/java/edu/kit/kastel/formal/virage/core/VirageCommandLineInterface.java#L15
Unused import - java.util.Map.
com.puppycrawl.tools.checkstyle.checks.TodoCommentCheck: virage/src/main/java/edu/kit/kastel/formal/virage/core/VirageCommandLineInterface.java#L516
Comment matches to-do format '(TODO)|(FIXME)'.
com.puppycrawl.tools.checkstyle.checks.coding.IllegalCatchCheck: virage/src/main/java/edu/kit/kastel/formal/virage/core/VirageCore.java#L341
Catching 'Exception' is not allowed.
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/core/ConfigReader.java#L654
Comment matches to-do format '(TODO)|(FIXME)'.
com.puppycrawl.tools.checkstyle.checks.TodoCommentCheck: virage/src/main/java/edu/kit/kastel/formal/virage/core/VirageUserInterfaceFactory.java#L18
Comment matches to-do format '(TODO)|(FIXME)'.
com.puppycrawl.tools.checkstyle.checks.coding.IllegalCatchCheck: virage/src/main/java/edu/kit/kastel/formal/virage/core/VirageMain.java#L39
Catching 'Exception' is not allowed.
com.puppycrawl.tools.checkstyle.checks.TodoCommentCheck: virage/src/main/java/edu/kit/kastel/formal/virage/isabelle/IsabelleProofStepGenerator.java#L153
Comment matches to-do format '(TODO)|(FIXME)'.
com.puppycrawl.tools.checkstyle.checks.coding.IllegalCatchCheck: virage/src/main/java/edu/kit/kastel/formal/virage/isabelle/ScalaIsabelleFacade.java#L300
Catching 'Exception' is not allowed.
com.puppycrawl.tools.checkstyle.checks.coding.IllegalCatchCheck: virage/src/main/java/edu/kit/kastel/formal/virage/isabelle/ScalaIsabelleFacade.java#L428
Catching 'Exception' is not allowed.
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/IsabelleProofChecker.java#L299
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#L405
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#L464
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#L317
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#L340
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#L358
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)'.
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": "6181259401" }, "sha": "6552840bbdf287a4ae48bbb8b3d9f1a74b489c4b", "ref": "refs/heads/main", "scanned": "2023-09-14T05:19:12.221Z", "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-14T05:19:12.519Z