All workflows

Workflow runs

• maven in /server - Update #1638643167

  completed successfully:
  Dependabot Updates#15:bydependabot[bot]Bot
  main

  Oct 20, 202643s

• Platform tests

  completed successfully:
  Platform tests#6:Scheduled
  main

  Oct 19, 20262m 50s
  More actions for workflow run 6

• maven in /server - Update #1635305448

  completed successfully:
  Dependabot Updates#14:bydependabot[bot]Bot
  main

  Oct 19, 202636s

• maven in /server - Update #1630650029

  completed successfully:
  Dependabot Updates#13:bydependabot[bot]Bot
  main

  Oct 16, 202629s

• maven in /server - Update #1628704160

  completed successfully:
  Dependabot Updates#12:bydependabot[bot]Bot
  main

  Oct 15, 202643s

• maven in /server - Update #1626888738

  completed successfully:
  Dependabot Updates#11:bydependabot[bot]Bot
  main

  Oct 14, 202646s

• Platform tests

  completed successfully:
  Platform tests#5:Scheduled
  main

  Oct 12, 20262m 52s
  More actions for workflow run 5

• maven in /server - Update #1622459640

  completed successfully:
  Dependabot Updates#10:bydependabot[bot]Bot
  main

  Oct 12, 202638s

• maven in /server - Update #1618551076

  completed successfully:
  Dependabot Updates#9:bydependabot[bot]Bot
  main

  Oct 9, 202640s

• 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

• Add implication arrows after verification predicates

  completed successfully:
  Test#79:Pull request#152openedbyrcosta358
  codex/verification-implies

  Oct 8, 20261m 53s
  More actions for workflow run 79

• maven in /server - Update #1616494744

  completed successfully:
  Dependabot Updates#8:bydependabot[bot]Bot
  main

  Oct 8, 202645s

• Add a first-install LiquidJava walkthrough

  completed successfully:
  Test#78:Pull request#150synchronizebyrcosta358
  codex/first-install-walkthrough

  Oct 7, 20262m 21s
  More actions for workflow run 78

• Add a first-install LiquidJava walkthrough

  completed successfully:
  Test#77:Pull request#150synchronizebyrcosta358
  codex/first-install-walkthrough

  Oct 7, 20261m 37s
  More actions for workflow run 77

• Add a first-install LiquidJava walkthrough

  completed successfully:
  Test#76:Pull request#150openedbyrcosta358
  codex/first-install-walkthrough

  Oct 7, 20261m 44s
  More actions for workflow run 76

• Add opt-in local study logging

  completed successfully:
  Test#75:Pull request#149openedbyrcosta358
  codex/study-logging

  Oct 7, 20262m 5s
  More actions for workflow run 75

• Run Windows and macOS tests weekly (#147)

  completed successfully:
  Test#74:Commit27fe8f9pushedbyrcosta358
  main

  Oct 7, 20261m 46s
  More actions for workflow run 74

• maven in /server - Update #1614349871

  completed successfully:
  Dependabot Updates#7:bydependabot[bot]Bot
  main

  Oct 7, 202643s

• Add real VS Code integration smoke test

  completed successfully:
  Test#73:Pull request#144synchronizebyrcosta358
  codex/issue-131-vscode-smoke-tests

  Oct 6, 20261m 29s
  More actions for workflow run 73

• Test webview messages and server lifecycle

  completed successfully:
  Test#72:Pull request#146synchronizebyrcosta358
  codex/issue-133-webview-lifecycle

  Oct 6, 20261m 54s
  More actions for workflow run 72