Java CI with Maven

Workflow runs for Java CI with Maven

• 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

• Check current receiver typestate across loops

  completed successfully:
  Java CI with Maven#971:Pull request#384openedbyCatarinaGamboa
  fix/338-zero-iteration

  Oct 8, 20261m 16s
  More actions for workflow run 971

• Fix verifier reference equality across recorded upcasts

  completed successfully:
  Java CI with Maven#970:Pull request#383openedbyCatarinaGamboa
  fix/377-exception-assignment

  Oct 8, 20261m 45s
  More actions for workflow run 970

• Preserve skipped paths for boolean if conditions

  completed successfully:
  Java CI with Maven#969:Pull request#382openedbyCatarinaGamboa
  fix/issue-371-boolean-if

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

• Combine try, catch and finally blocks soundly (#366)

  completed successfully:
  Java CI with Maven#968:Commitdcfc4ebpushedbyCatarinaGamboa
  main

  Oct 8, 20261m 26s
  More actions for workflow run 968

• Combine try, catch and finally blocks soundly

  completed successfully:
  Java CI with Maven#967:Pull request#366synchronizebyCatarinaGamboa
  fix/364-try-catch-join

  Oct 8, 20261m 30s
  More actions for workflow run 967

• Combine try, catch and finally blocks soundly

  completed successfully:
  Java CI with Maven#966:Pull request#366synchronizebyCatarinaGamboa
  fix/364-try-catch-join

  Oct 8, 20261m 40s
  More actions for workflow run 966