Java CI with Maven

Workflow runs for Java CI with Maven

• Point out the argument that decided a state a call does not allow

  completed successfully:
  Java CI with Maven#1011:Pull request#419openedbyCatarinaGamboa
  feat/argument-picks-state

  Oct 24, 20261m 26s
  More actions for workflow run 1011

• Label errors with the kind of mistake they show

  completed successfully:
  Java CI with Maven#1010:Pull request#418openedbyCatarinaGamboa
  feat/error-categories

  Oct 24, 20262m 3s
  More actions for workflow run 1010

• Land the rest of the state hints stack (#412, #413, #414) (#417)

  completed successfully:
  Java CI with Maven#1009:Commit69895fapushedbyCatarinaGamboa
  main

  Oct 24, 20262m 9s
  More actions for workflow run 1009

• Land the rest of the state hints stack (#412, #413, #414)

  completed successfully:
  Java CI with Maven#1008:Pull request#417openedbyCatarinaGamboa
  feat/state-hints-rest

  Oct 24, 20261m 55s
  More actions for workflow run 1008

• Check each branch of a conditional expression under its condition (#409)

  completed successfully:
  Java CI with Maven#1007:Commit157c37bpushedbyCatarinaGamboa
  main

  Oct 24, 20261m 46s
  More actions for workflow run 1007

• Join an if on the instances its condition read (#408)

  completed successfully:
  Java CI with Maven#1006:Commit0b7343apushedbyCatarinaGamboa
  main

  Oct 24, 20261m 54s
  More actions for workflow run 1006

• Join an if on the instances its condition read

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

  Oct 24, 20262m 6s
  More actions for workflow run 1005

• Suggest the calls that make a failing state transition verify (#411)

  completed successfully:
  Java CI with Maven#1004:Commitba44b18pushedbyCatarinaGamboa
  main

  Oct 23, 20262m 8s
  More actions for workflow run 1004

• Suggest the calls that make a failing state transition verify

  completed successfully:
  Java CI with Maven#1003:Pull request#411reopenedbyCatarinaGamboa
  feat/state-hints-calls

  Oct 23, 20261m 23s
  More actions for workflow run 1003

• Store diagnostic hints as a list (#410)

  completed successfully:
  Java CI with Maven#1002:Commit2553ecdpushedbyCatarinaGamboa
  main

  Oct 23, 20261m 45s
  More actions for workflow run 1002

• Build each class's state machine once per checker

  completed successfully:
  Java CI with Maven#1001:Pull request#414openedbyCatarinaGamboa
  feat/state-machine-cache

  Oct 21, 20261m 30s
  More actions for workflow run 1001

• List the calls that reach an allowed state when the state is unknown

  completed successfully:
  Java CI with Maven#1000:Pull request#413openedbyCatarinaGamboa
  feat/state-hints-unknown

  Oct 21, 20262m 6s
  More actions for workflow run 1000

• Explain dead ends in failing state transitions

  completed successfully:
  Java CI with Maven#999:Pull request#412openedbyCatarinaGamboa
  feat/state-hints-dead-ends

  Oct 21, 20261m 29s
  More actions for workflow run 999

• Suggest the calls that make a failing state transition verify

  completed successfully:
  Java CI with Maven#998:Pull request#411openedbyCatarinaGamboa
  feat/state-hints-calls

  Oct 21, 20261m 43s
  More actions for workflow run 998

• Store diagnostic hints as a list

  completed successfully:
  Java CI with Maven#997:Pull request#410openedbyCatarinaGamboa
  feat/hint-list

  Oct 21, 20261m 47s
  More actions for workflow run 997

• 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