INRIA / spoon

87%

master: 87%

LAST BUILD ON BRANCH refactor/resolve-unchecked-cast-contract-verifier

branch: refactor/resolve-unchecked-cast-contract-verifier

CHANGE BRANCH

x

Reset

• refactor/resolve-unchecked-cast-contract-verifier
• 5255-push-SBOM-to-Maven-Central-when-releasing
• 6318-type-pattern-references
• MartinWitt-patch-3
• annotation-method-renaming
• bug/package-info-issue
• bug/reference-builder-complex-types
• c2spoon
• cd_do_not_merge_beta_releases_to_master
• chore/allow-beta-release-workflow-dispatch
• chore/allow-snapshot-release-workflow-dispatch
• chore/cd-new-ossrh
• chore/jdt-core-update-3.41
• chore/set-launcher-compliance-default-pp-test
• chore/update-extra-checks-jdk22
• cleanup-junit-references
• contributing-1
• controlflow-switch-fixes
• copilot
• dependabot/maven/com.fasterxml.jackson.core-jackson-databind-2.9.10.1
• dependabot/maven/src/test/resources/maven-launcher/pac4j/pac4j-couch/com.fasterxml.jackson.core-jackson-databind-2.9.10.1
• dependabot/maven/src/test/resources/maven-launcher/pac4j/pac4j-couch/com.fasterxml.jackson.core-jackson-databind-2.9.10.4
• dependabot/maven/src/test/resources/maven-launcher/pac4j/pac4j-saml/org.cryptacular-cryptacular-1.2.4
• dirty-waters
• doc-cttypeaccess
• docs/javadoc-tag-ctimport
• e5afd807cd46756d79f25c34e7e7886f1127d3ec
• editorconfig
• enum-value-reference-function
• feat_SubInheritanceHierarchyResolver
• feat_clone
• feature/missing-parens-string-concat
• fix-cu-rename
• fix-flaky-test
• fix-issue#4984
• fix-request
• fix/429-link-checker
• fix/ContractOnSettersParametrizedTest-nondeterminism
• fix/ci-encoding
• fix/crash-with-record-static-fields
• fix/factorytest-nondeterminism
• fix/invalid-import-and-pattern-roles
• fix/more-targeted-expressions
• fix/pretty-print-typecast-spaces
• fix/pretty-printing-cast-parenthesis
• fix/spoon-maven-java-version
• fix/substitutiontest-nondeterminism
• fix/testInitPropertiesWithWrongType-nondeterminism
• fix/testShadowModelEqualsNormalModel-nondeterminism
• fixCompilationTestOnWindows
• fixDoc
• generics-renaming
• javadoc-implicit
• junit5
• last-version
• master
• merge-similar-switch-cases
• monperrus-addlink
• monperrus-clean-pom
• monperrus-doc-get
• monperrus-paper-1
• monperrus-papers-1
• monperrus-patch-1
• monperrus-patch-10
• monperrus-patch-2
• monperrus-patch-3
• monperrus-patch-3-1
• monperrus-patch-4
• monperrus-patch-5
• monperrus-patch-6
• monperrus-patch-7
• monperrus-patch-8
• monperrus-patch-9
• monperrus-release-7.5.0
• monperrus-roadmap-1
• monperrus-update-papers
• nharrand-patch-1
• no-snapshot
• patch-1
• perf-get-declaration
• port-cd
• readme-1
• refactor/quick-sonar-updates-pattern
• remove-unused-class-field
• renovate-mockito
• renovate/actions-attest-build-provenance-2.x
• renovate/actions-attest-build-provenance-3.x
• renovate/actions-cache-4.x
• renovate/actions-checkout-4.x
• renovate/actions-checkout-5.x
• renovate/actions-checkout-6.x
• renovate/actions-checkout-digest
• renovate/actions-setup-java-4.x
• renovate/actions-setup-java-5.x
• renovate/actions-setup-java-digest
• renovate/actions-upload-artifact-4.x
• renovate/actions-upload-artifact-digest
• renovate/ch.qos.logback-logback-classic-1.x
• renovate/com.diffplug.spotless-spotless-maven-plugin-2.x
• renovate/com.diffplug.spotless-spotless-maven-plugin-3.x
• renovate/com.fasterxml.jackson.core-jackson-databind-2.x
• renovate/com.github.ben-manes.versions-0.x
• renovate/com.github.ben-manes.versions-com.github.ben-manes.versions.gradle.plugin-0.x
• renovate/com.github.stefanbirkner-system-rules-1.x
• renovate/com.google.guava-guava-29.x
• renovate/com.google.guava-guava-30.x
• renovate/com.mycila-license-maven-plugin-5.x
• renovate/com.mysema.querydsl-querydsl-core-3.x
• renovate/commons-cli-commons-cli-1.x
• renovate/commons-cli-commons-cli-20040117.x
• renovate/commons-io-commons-io-2.x
• renovate/configure
• renovate/determinatesystems-flake-checker-action-10.x
• renovate/determinatesystems-flake-checker-action-12.x
• renovate/determinatesystems-magic-nix-cache-action-10.x
• renovate/determinatesystems-magic-nix-cache-action-12.x
• renovate/determinatesystems-magic-nix-cache-action-13.x
• renovate/determinatesystems-magic-nix-cache-action-9.x
• renovate/determinatesystems-nix-installer-action-16.x
• renovate/determinatesystems-nix-installer-action-17.x
• renovate/determinatesystems-nix-installer-action-18.x
• renovate/determinatesystems-nix-installer-action-19.x
• renovate/determinatesystems-nix-installer-action-20.x
• renovate/determinatesystems-nix-installer-action-21.x
• renovate/fr.inria.gforge.spoon-spoon-core-11.x
• renovate/fr.inria.gforge.spoon-spoon-core-7.x
• renovate/fr.inria.gforge.spoon-spoon-core-8.x
• renovate/github-codeql-action-3.x
• renovate/github-codeql-action-4.x
• renovate/github-codeql-action-digest
• renovate/gradle-5.x
• renovate/gradle-6.x
• renovate/gradle-8.x
• renovate/gradle-9.x
• renovate/guava-monorepo
• renovate/io.github.interacto-interacto-javafx-3.x
• renovate/io.github.interacto-interacto-javafx-4.x
• renovate/jackson-monorepo
• renovate/javafx-monorepo
• renovate/jetbrains-qodana-action-2024.x
• renovate/jetbrains-qodana-action-2025.x
• renovate/jfx.version
• renovate/jquery-2.x
• renovate/jquery-3.x
• renovate/junit-framework-monorepo
• renovate/junit-junit-4.x
• renovate/junit5-monorepo
• renovate/lock-file-maintenance
• renovate/logback-monorepo
• renovate/major-github-artifact-actions
• renovate/major-jfx.version
• renovate/major-junit-framework-monorepo
• renovate/migrate-config
• renovate/mockito-monorepo
• renovate/org.apache.commons-commons-compress-1.x
• renovate/org.apache.commons-commons-lang3-3.x
• renovate/org.apache.logging.log4j-log4j-api-2.x
• renovate/org.apache.logging.log4j-log4j-to-slf4j-2.x
• renovate/org.apache.maven-maven-model-3.x
• renovate/org.apache.maven.plugins-maven-antrun-plugin-3.x
• renovate/org.apache.maven.plugins-maven-assembly-plugin-2.x
• renovate/org.apache.maven.plugins-maven-assembly-plugin-3.x
• renovate/org.apache.maven.plugins-maven-checkstyle-plugin-3.x
• renovate/org.apache.maven.plugins-maven-clean-plugin-3.x
• renovate/org.apache.maven.plugins-maven-compiler-plugin-3.x
• renovate/org.apache.maven.plugins-maven-dependency-plugin-2.x
• renovate/org.apache.maven.plugins-maven-dependency-plugin-3.x
• renovate/org.apache.maven.plugins-maven-deploy-plugin-2.x
• renovate/org.apache.maven.plugins-maven-deploy-plugin-3.x
• renovate/org.apache.maven.plugins-maven-enforcer-plugin-3.x
• renovate/org.apache.maven.plugins-maven-gpg-plugin-1.x
• renovate/org.apache.maven.plugins-maven-gpg-plugin-3.x
• renovate/org.apache.maven.plugins-maven-install-plugin-3.x
• renovate/org.apache.maven.plugins-maven-jar-plugin-3.x
• renovate/org.apache.maven.plugins-maven-javadoc-plugin-3.x
• renovate/org.apache.maven.plugins-maven-project-info-reports-plugin-3.x
• renovate/org.apache.maven.plugins-maven-release-plugin-2.x
• renovate/org.apache.maven.plugins-maven-release-plugin-3.x
• renovate/org.apache.maven.plugins-maven-resources-plugin-3.x
• renovate/org.apache.maven.plugins-maven-shade-plugin-3.x
• renovate/org.apache.maven.plugins-maven-source-plugin-2.x
• renovate/org.apache.maven.plugins-maven-source-plugin-3.x
• renovate/org.apache.maven.plugins-maven-surefire-plugin-2.x
• renovate/org.apache.maven.plugins-maven-surefire-plugin-3.x
• renovate/org.apache.maven.wagon-wagon-ssh-3.x
• renovate/org.assertj-assertj-core-3.x
• renovate/org.benf-cfr-0.x
• renovate/org.codehaus.mojo-exec-maven-plugin-3.x
• renovate/org.eclipse.jdt-org.eclipse.jdt.core-3.x
• renovate/org.jacoco-jacoco-maven-plugin-0.x
• renovate/org.jetbrains-annotations-16.x
• renovate/org.jetbrains-annotations-19.x
• renovate/org.jetbrains-annotations-20.x
• renovate/org.jetbrains-annotations-26.x
• renovate/org.jgrapht-jgrapht-core-0.x
• renovate/org.jgrapht-jgrapht-core-1.x
• renovate/org.junit.jupiter-junit-jupiter-5.x
• renovate/org.junit.jupiter-junit-jupiter-engine-5.x
• renovate/org.junit.jupiter-junit-jupiter-params-5.x
• renovate/org.junit.platform-junit-platform-launcher-1.x
• renovate/org.junit.vintage-junit-vintage-engine-5.x
• renovate/org.mockito-mockito-core-2.x
• renovate/org.mockito-mockito-core-3.x
• renovate/org.revapi-revapi-java-0.x
• renovate/org.revapi-revapi-maven-plugin-0.x
• renovate/org.revapi-revapi-reporter-text-0.x
• renovate/org.tukaani-xz-1.x
• renovate/ossf-scorecard-action-2.x
• renovate/se.patrikerdes.use-latest-versions-0.x
• renovate/se.patrikerdes.use-latest-versions-se.patrikerdes.use-latest-versions.gradle.plugin-0.x
• renovate/slf4j-monorepo
• renovate/step-security-harden-runner-2.x
• renovate/through2-3.x
• renovate/through2-4.x
• renovate/tools.aqua-z3-turnkey-4.x
• spoon-core
• spoon-core-4.4.0
• spoon-core-4.4.1
• spoon-core-5.0.0
• spoon-core-5.0.1
• spoon-core-5.0.2
• spoon-core-5.1.0
• spoon-core-5.1.1
• spoon-core-5.3.0
• spoon-core-5.4.0
• spoon-core-5.5.0
• spoon-core-5.6.0
• spoon-core-5.7.0
• spoon-core-5.8.0
• spoon-core-5.9.0
• spoon-core-6.0.0
• spoon-core-6.1.0
• spoon-core-6.2.0
• spoon-core-7.1.0
• spoon-core-7.2.0
• spoon-core-7.3.0
• spoon-core-7.4.0
• spoon-core-7.5.0
• spoon-core-8.0.0
• spoon-core-8.1.0
• spoon-core-8.2.0
• spoon-core-8.3.0
• spoon-decompiler-0.1.0
• stable
• subject-path
• surli-patch-1
• test
• test-chagallo
• test/rishiv/issue-5001-tests
• test2
• update_jreleaser_config_to_avoid_deprecation_warning
• update_scm_to_valid_urls

Build # #15520

Build Type

Pull #6173

github

Committed by web-flow

Commit Message

Merge 05c86e226 into 092d610a3

Pull Request Pull Request #6173: refactor: Resolving unchecked-cast warnings in ContractVerifier

Run Details

2 of 2 new or added lines in 1 file covered. (100.0%)

30088 of 34390 relevant lines covered (87.49%)

0.87 hits per line