Deploy to GitHub pages

chore: deprecate formatter (#5217) #358

Sign in to view logs

Triggered via push December 12, 2025 19:12

pull[bot]

master

Status Skipped

Total duration 7m 47s

Artifacts –

github-pages.yml

on: push