Java CI with Maven

Workflow runs for Java CI with Maven

• Check each branch of a conditional expression under its condition

  completed successfully:
  Java CI with Maven#996:Pull request#409openedbyCatarinaGamboa
  fix/ternary-path-condition

  Oct 20, 20261m 9s
  More actions for workflow run 996

• Join an if on the instances its condition read

  completed successfully:
  Java CI with Maven#995:Pull request#408openedbyCatarinaGamboa
  fix/nested-if-call-equality

  Oct 20, 20261m 47s
  More actions for workflow run 995

• Check calls on a constructor call whose constructor has refined param…

  completed successfully:
  Java CI with Maven#994:Commit9c51147pushedbyCatarinaGamboa
  main

  Oct 20, 20261m 14s
  More actions for workflow run 994

• Check calls on a constructor call whose constructor has refined parameters

  completed successfully:
  Java CI with Maven#993:Pull request#407synchronizebyCatarinaGamboa
  fix/constructor-receiver-refined-args

  Oct 20, 20261m 43s
  More actions for workflow run 993

• Resolve field reads by declaring type and target object (#392)

  completed successfully:
  Java CI with Maven#992:Commite0a6c81pushedbyCatarinaGamboa
  main

  Oct 20, 20261m 37s
  More actions for workflow run 992

• Treat operations and fields with unresolved types as unrefined (#391)

  completed successfully:
  Java CI with Maven#991:Commit8f9e862pushedbyCatarinaGamboa
  main

  Oct 20, 20261m 49s
  More actions for workflow run 991

• Check calls on a constructor call whose constructor has refined parameters

  completed successfully:
  Java CI with Maven#990:Pull request#407openedbyCatarinaGamboa
  fix/constructor-receiver-refined-args

  Oct 17, 20261m 41s
  More actions for workflow run 990

• Resolve field reads by declaring type and target object

  completed successfully:
  Java CI with Maven#989:Pull request#392synchronizebyCatarinaGamboa
  fix/322-field-resolution

  Oct 14, 20261m 37s
  More actions for workflow run 989

• Treat operations and fields with unresolved types as unrefined

  completed successfully:
  Java CI with Maven#988:Pull request#391synchronizebyCatarinaGamboa
  fix/388-unresolved-types

  Oct 14, 20261m 15s
  More actions for workflow run 988

• Add regression tests for records verified with an external spec (#394)

  completed successfully:
  Java CI with Maven#987:Commit1c6807bpushedbyCatarinaGamboa
  main

  Oct 14, 20261m 37s
  More actions for workflow run 987

• Support .length on array expressions and spread varargs calls

  completed successfully:
  Java CI with Maven#986:Pull request#400synchronizebyCatarinaGamboa
  fix/348-syntax-gaps

  Oct 13, 20261m 40s
  More actions for workflow run 986

• Support .length on array expressions and spread varargs calls

  completed successfully:
  Java CI with Maven#985:Pull request#400openedbyCatarinaGamboa
  fix/348-syntax-gaps

  Oct 13, 20261m 21s
  More actions for workflow run 985

• Add regression tests for records verified with an external spec

  completed successfully:
  Java CI with Maven#984:Pull request#394openedbyCatarinaGamboa
  fix/342-record-external-spec

  Oct 13, 20261m 49s
  More actions for workflow run 984

• See state changes through aliases and forget mutable field initializers across methods

  completed successfully:
  Java CI with Maven#983:Pull request#393openedbyCatarinaGamboa
  fix/337-alias-field-state

  Oct 13, 20261m 44s
  More actions for workflow run 983

• Resolve field reads by declaring type and target object

  completed successfully:
  Java CI with Maven#982:Pull request#392openedbyCatarinaGamboa
  fix/322-field-resolution

  Oct 13, 20261m 38s
  More actions for workflow run 982

• Treat operations and fields with unresolved types as unrefined

  completed successfully:
  Java CI with Maven#981:Pull request#391openedbyCatarinaGamboa
  fix/388-unresolved-types

  Oct 13, 20261m 41s
  More actions for workflow run 981

• Apply external contracts to inherited receiver methods (#387)

  completed successfully:
  Java CI with Maven#980:Commitad055b4pushedbyCatarinaGamboa
  main

  Oct 13, 20261m 37s
  More actions for workflow run 980

• Isolate deferred callback state from lambda creation (#386)

  completed successfully:
  Java CI with Maven#979:Commit9addae1pushedbyCatarinaGamboa
  main

  Oct 13, 20261m 10s
  More actions for workflow run 979

• Verify static and default interface method bodies (#385)

  completed successfully:
  Java CI with Maven#978:Commit26ea1c8pushedbyCatarinaGamboa
  main

  Oct 13, 20261m 47s
  More actions for workflow run 978

• Check current receiver typestate across loops (#384)

  completed successfully:
  Java CI with Maven#977:Commit80bdd78pushedbyCatarinaGamboa
  main

  Oct 13, 20261m 47s
  More actions for workflow run 977

• Fix verifier reference equality across recorded upcasts (#383)

  completed successfully:
  Java CI with Maven#976:Commit9fb4ccapushedbyCatarinaGamboa
  main

  Oct 13, 20261m 48s
  More actions for workflow run 976

• Preserve skipped paths for boolean if conditions (#382)

  completed successfully:
  Java CI with Maven#975:Commit37c3594pushedbyCatarinaGamboa
  main

  Oct 13, 20261m 49s
  More actions for workflow run 975

• Apply external contracts to inherited receiver methods

  completed successfully:
  Java CI with Maven#974:Pull request#387openedbyCatarinaGamboa
  fix/379-inherited-external-spec

  Oct 8, 20261m 33s
  More actions for workflow run 974

• Isolate deferred callback state from lambda creation

  completed successfully:
  Java CI with Maven#973:Pull request#386openedbyCatarinaGamboa
  fix/341-callback-field-state

  Oct 8, 20261m 21s
  More actions for workflow run 973

• Verify static and default interface method bodies

  completed successfully:
  Java CI with Maven#972:Pull request#385openedbyCatarinaGamboa
  fix/343-interface-static

  Oct 8, 20261m 48s
  More actions for workflow run 972