Deploy Docusaurus to GitHub Pages

docs: rename dev to devel (#18) #10

Sign in to view logs

Triggered via push December 18, 2025 10:13

leonardoce

main

Status Success

Total duration 3m 11s

Artifacts –

publish-docs.yml

on: push