Deploy docs site to GitHub Pages

C: Remove unused `ast_node_name` function in header #1125

Sign in to view logs

Triggered via push March 6, 2026 16:57

marcoroth

main

Status Success

Total duration 5m 40s

Artifacts –

deploy.yml

on: push