build

improve space filter ergonomics to more easily list global nodes #711

Sign in to view logs

Triggered via pull request September 5, 2024 10:01

haakonvt

synchronize #1913

make-space-filter-default-to-equals

Status Success

Total duration 28s

Artifacts –

verify-jupyter.yml

on: pull_request

build_and_test_jupyter_pyodide