Merge pull request #6 from jtpio/codemirror-merge · jupyter-ai-contrib/jupyterlab-diff@bf80a2c

Triggered via push September 15, 2025 16:33

Zsailer

main

Status Success

Total duration 4m 2s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size	Digest
extension-artifacts	425 KB	`sha256:7da32be3eb45fa5644a8462c061d960e30bcb5e64c80569d539f1f49204b8763`