CI

Use `get_option` api from callback plugins (#1142) #1201

Sign in to view logs

Triggered via push February 6, 2026 17:56

Shrews

devel

Status Success

Total duration 3m 28s

Artifacts –

ci.yml

on: push

⚙️ Pre-set global build settings

Matrix: devel-tests

Matrix: sanity

Matrix: tests

✅ All tests passed