Docs

add Preferences.jl-based configuration #806

Sign in to view logs

Triggered via pull request January 28, 2026 06:02

marius311

opened #742

marius311:preferences

Status Skipped

Total duration 1s

Artifacts –

docs.yml

on: pull_request