Skip to content
Java CI with Maven

Various fixes and formattings. #34

Sign in to view logs

Various fixes and formattings.

Various fixes and formattings. #34

Triggered via pull request September 9, 2023 07:27
@mi-kimi-ki
opened #12
variousFixes
Status Success
Total duration 1m 39s
Artifacts –

maven.yml

on: pull_request
build
1m 31s
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#L89
Catching 'Exception' is not allowed.
com.puppycrawl.tools.checkstyle.checks.TodoCommentCheck: virage/src/main/java/edu/kit/kastel/formal/virage/core/VirageCommandLineInterface.java#L695
Comment matches to-do format '(TODO)|(FIXME)'.
com.puppycrawl.tools.checkstyle.checks.TodoCommentCheck: virage/src/main/java/edu/kit/kastel/formal/virage/core/VirageCommandLineInterface.java#L799
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#L334
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#L626
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#L37
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#L307
Catching 'Exception' is not allowed.
com.puppycrawl.tools.checkstyle.checks.coding.IllegalCatchCheck: virage/src/main/java/edu/kit/kastel/formal/virage/isabelle/ScalaIsabelleFacade.java#L406
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#L297
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#L401
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#L460
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#L318
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#L294
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": "6129647759" }, "sha": "d0ba2371d501d5fd8dfe0cc19141861477a7fcc6", "ref": "refs/pull/12/merge", "scanned": "2023-09-09T07:28:22.410Z", "manifests": { "ViRAGe": { "resolved": { "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", "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]" ] }, "pkg:maven/org.junit.platform/junit-platform-launcher
build
Snapshot successfully created at 2023-09-09T07:28:22.640Z