Code

Fix messages in contiunous mode#1001

Code

Merged

rtetley merged 2 commits intomaincoq/vscoq:mainfrom push-querycoq/vscoq:push-queryCopy head branch name to clipboardJan 22, 2025

+1-2

Commits

Commits on Jan 21, 2025

• feat: push queries in scheduler state

  Show description for 3706596
  rtetley

  committed
  3706596

  Copy full SHA for 3706596

Commits on Jan 22, 2025

• fix: test suite

  rtetley

  committed
  b68f425

  Copy full SHA for b68f425