Deploy documentation

Merge pull request #318 from jolicode/feat/lazy-mapping #200

Sign in to view logs

Triggered via push January 26, 2026 13:34

joelwurtz

main

Status Success

Total duration 56s

Artifacts –

documentation.yml

on: push

Build documentation website with MkDocs

Deploy to GitHub Pages