Docs

add Preferences.jl-based configuration #854

Sign in to view logs

Triggered via pull request May 16, 2026 13:46

cjdoris

synchronize #742

marius311:preferences

Status Skipped

Total duration 1s

Artifacts –

docs.yml

on: pull_request