Test

Workflow runs for Test

• 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

• 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

• 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

• Test webview messages and server lifecycle

  cancelled:
  Test#71:Pull request#146synchronizebyrcosta358
  codex/issue-133-webview-lifecycle

  Oct 6, 20263s
  More actions for workflow run 71

• Test passing fixtures and minimum supported VS Code

  completed successfully:
  Test#70:Pull request#145synchronizebyrcosta358
  codex/issue-132-passing-min-vscode

  Oct 6, 20261m 24s
  More actions for workflow run 70

• Run Windows and macOS tests weekly

  completed successfully:
  Test#69:Pull request#147synchronizebyrcosta358
  codex/issue-134-platform-tests

  Oct 6, 20261m 55s
  More actions for workflow run 69

• Test passing fixtures and minimum supported VS Code

  cancelled:
  Test#68:Pull request#145synchronizebyrcosta358
  codex/issue-132-passing-min-vscode

  Oct 6, 20262s
  More actions for workflow run 68

• Run Windows and macOS tests weekly

  cancelled:
  Test#67:Pull request#147synchronizebyrcosta358
  codex/issue-134-platform-tests

  Oct 6, 20262s
  More actions for workflow run 67

• Require passing checks before publishing

  completed successfully:
  Test#66:Pull request#139synchronizebyrcosta358
  codex/issue-126-required-checks

  Oct 6, 20261m 27s
  More actions for workflow run 66

• Add real VS Code integration smoke test

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

  Oct 6, 20261m 25s
  More actions for workflow run 65

• Run build and packaging checks on pull requests and main

  completed successfully:
  Test#64:Pull request#138synchronizebyrcosta358
  codex/issue-125-test-workflow

  Oct 6, 20261m 18s
  More actions for workflow run 64

• Expose the running extension API for integration tests

  completed successfully:
  Test#63:Pull request#143synchronizebyrcosta358
  codex/issue-130-test-api

  Oct 6, 20261m 30s
  More actions for workflow run 63

• Add real VS Code integration smoke test

  cancelled:
  Test#62:Pull request#144synchronizebyrcosta358
  codex/issue-131-vscode-smoke-tests

  Oct 6, 20262s
  More actions for workflow run 62

• Expose the running extension API for integration tests

  cancelled:
  Test#60:Pull request#143synchronizebyrcosta358
  codex/issue-130-test-api

  Oct 6, 20262s
  More actions for workflow run 60