Skip to content
Java CI with Maven

Now setting the Isabelle session name works seemingly correctly (#14) #39

Sign in to view logs

Now setting the Isabelle session name works seemingly correctly (#14)

Now setting the Isabelle session name works seemingly correctly (#14) #39

Triggered via push September 13, 2023 03:59
@mi-kimi-ki
pushed 5397002
main
Status Success
Total duration 2m 10s
Artifacts –

maven.yml

on: push
build
2m 0s
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#L87
Catching 'Exception' is not allowed.
com.puppycrawl.tools.checkstyle.checks.TodoCommentCheck: virage/src/main/java/edu/kit/kastel/formal/virage/core/VirageCommandLineInterface.java#L508
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#L845
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#L339
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#L639
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#L299
Catching 'Exception' is not allowed.
com.puppycrawl.tools.checkstyle.checks.coding.IllegalCatchCheck: virage/src/main/java/edu/kit/kastel/formal/virage/isabelle/ScalaIsabelleFacade.java#L417
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#L402
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#L461
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#L341
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#L359
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#L293
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": "6167776808" }, "sha": "53970024b57e3aba16afc8df6835d6ed7627863f", "ref": "refs/heads/main", "scanned": "2023-09-13T04:02:00.306Z", "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-13T04:02:00.621Z