Test

Workflow runs for Test

• Show the verifier's states of a state error on the state machine

  completed successfully:
  Test#104:Pull request#160openedbyCatarinaGamboa
  feat/verifier-state-context

  Oct 25, 20261m 24s
  More actions for workflow run 104

• Show state errors in the State Machine view

  completed successfully:
  Test#103:Pull request#159synchronizebyCatarinaGamboa
  feat/155-state-errors-in-view

  Oct 24, 20261m 44s
  More actions for workflow run 103

• Show state errors in the State Machine view

  completed successfully:
  Test#102:Pull request#159synchronizebyCatarinaGamboa
  feat/155-state-errors-in-view

  Oct 24, 20261m 28s
  More actions for workflow run 102

• Focus the state machine on the rejected call (#158)

  completed successfully:
  Test#101:Commit34d7611pushedbyCatarinaGamboa
  main

  Oct 24, 20261m 23s
  More actions for workflow run 101

• Focus the state machine on the rejected call

  completed successfully:
  Test#100:Pull request#158synchronizebyCatarinaGamboa
  feat/117-focus-state-error

  Oct 24, 20261m 40s
  More actions for workflow run 100

• Focus the state machine on the rejected call

  completed successfully:
  Test#99:Pull request#158synchronizebyCatarinaGamboa
  feat/117-focus-state-error

  Oct 24, 20261m 28s
  More actions for workflow run 99

• Focus the state machine on the rejected call

  completed successfully:
  Test#98:Pull request#158synchronizebyCatarinaGamboa
  feat/117-focus-state-error

  Oct 24, 20261m 40s
  More actions for workflow run 98

• Focus the state machine on the rejected call

  completed successfully:
  Test#97:Pull request#158synchronizebyCatarinaGamboa
  feat/117-focus-state-error

  Oct 24, 20261m 52s
  More actions for workflow run 97

• Focus the state machine on the rejected call

  completed successfully:
  Test#96:Pull request#158synchronizebyCatarinaGamboa
  feat/117-focus-state-error

  Oct 24, 20261m 35s
  More actions for workflow run 96

• Show state errors in the State Machine view

  completed successfully:
  Test#95:Pull request#159openedbyCatarinaGamboa
  feat/155-state-errors-in-view

  Oct 21, 20261m 51s
  More actions for workflow run 95

• Focus the state machine on the rejected call

  completed successfully:
  Test#94:Pull request#158openedbyCatarinaGamboa
  feat/117-focus-state-error

  Oct 21, 20261m 51s
  More actions for workflow run 94

• Add a first-install LiquidJava walkthrough (#150)

  completed successfully:
  Test#93:Commit6b10158pushedbyCatarinaGamboa
  main

  Oct 20, 20262m 51s
  More actions for workflow run 93

• Use liquidjava-fsm 0.1.3 for static factory transitions (#154)

  cancelled:
  Test#92:Commit93db5e3pushedbyCatarinaGamboa
  main

  Oct 20, 20261m 33s
  More actions for workflow run 92

• Improve binder underlines and hover styling (#153)

  cancelled:
  Test#91:Commitf1e7a55pushedbyCatarinaGamboa
  main

  Oct 20, 202641s
  More actions for workflow run 91

• Add implication arrows after verification predicates (#152)

  cancelled:
  Test#90:Commit0dff861pushedbyCatarinaGamboa
  main

  Oct 20, 20261m 34s
  More actions for workflow run 90

• Use liquidjava-fsm 0.1.3 for static factory transitions

  completed successfully:
  Test#89:Pull request#154openedbyCatarinaGamboa
  chore/liquidjava-fsm-0.1.3

  Oct 20, 20261m 35s
  More actions for workflow run 89

• Show constructor signatures on state machine arrows (#120)

  completed successfully:
  Test#88:Commite46f8c0pushedbyCatarinaGamboa
  main

  Oct 20, 20261m 44s
  More actions for workflow run 88

• Show constructor signatures on state machine arrows

  completed successfully:
  Test#87:Pull request#120synchronizebyCatarinaGamboa
  feat/112-constructor-signatures

  Oct 20, 20261m 41s
  More actions for workflow run 87

• Show constructor signatures on state machine arrows

  completed successfully:
  Test#86:Pull request#120synchronizebyCatarinaGamboa
  feat/112-constructor-signatures

  Oct 20, 20262m 0s
  More actions for workflow run 86

• Improve binder underlines and hover styling

  completed successfully:
  Test#85:Pull request#153openedbyrcosta358
  codex/binder-styling

  Oct 8, 20261m 42s
  More actions for workflow run 85

• Add implication arrows after verification predicates

  completed successfully:
  Test#84:Pull request#152synchronizebyrcosta358
  codex/verification-implies

  Oct 8, 20261m 56s
  More actions for workflow run 84

• Add implication arrows after verification predicates

  completed successfully:
  Test#83:Pull request#152synchronizebyrcosta358
  codex/verification-implies

  Oct 8, 20261m 39s
  More actions for workflow run 83

• Add implication arrows after verification predicates

  completed successfully:
  Test#82:Pull request#152synchronizebyrcosta358
  codex/verification-implies

  Oct 8, 20261m 43s
  More actions for workflow run 82

• Add implication arrows after verification predicates

  completed successfully:
  Test#81:Pull request#152synchronizebyrcosta358
  codex/verification-implies

  Oct 8, 20261m 28s
  More actions for workflow run 81

• Add implication arrows after verification predicates

  completed successfully:
  Test#80:Pull request#152synchronizebyrcosta358
  codex/verification-implies

  Oct 8, 20261m 36s
  More actions for workflow run 80