Build Docs and deploy to Github Pages

Add helpers for compile-time operator properties (#1114) #482

Sign in to view logs

Triggered via push January 13, 2026 16:31

main

Status Success

Total duration 11m 28s

Artifacts –

build-docs.yml

on: push

Deploy Github Pages