Code

Frontend workflow crdt#566

Code

Draft

andrii-i wants to merge 8 commits intojupyter-server:v3-devjupyter-server/jupyter-scheduler:v3-devfrom andrii-i:workflow-crdtandrii-i/jupyter-scheduler:workflow-crdtCopy head branch name to clipboard

+276-1

Commits

Commits on Dec 6, 2024

• add json-schema spec for the workflow

  andrii-i

  committed
  94ff9a0

  Copy full SHA for 94ff9a0

• [pre-commit.ci] auto fixes from pre-commit.com hooks

  Show description for ad8e9d4
  

  pre-commit-ci[bot]

  authored and

  andrii-i

  committed
  ad8e9d4

  Copy full SHA for ad8e9d4

• add version field at the schema top level

  andrii-i

  committed
  9cd8800

  Copy full SHA for 9cd8800

• run prettier

  andrii-i

  committed
  4b7b0b9

  Copy full SHA for 4b7b0b9

• add version field at the schema top level

  andrii-i

  committed
  5f166e8

  Copy full SHA for 5f166e8

• generate Workflow interfaces from json-schema via jjson2ts

  andrii-i

  committed
  ad86886

  Copy full SHA for ad86886

• [pre-commit.ci] auto fixes from pre-commit.com hooks

  Show description for 025c390
  pre-commit-ci[bot]

  committed
  025c390

  Copy full SHA for 025c390

Commits on Dec 9, 2024

• Add WorkflowDoc, remove dupplicate workflow schema

  andrii-i

  committed
  d88f4dc

  Copy full SHA for d88f4dc