Deploy Demo to GitHub Pages

Merge pull request #212 from istex/latex2 #95

Sign in to view logs

Triggered via push February 2, 2026 14:30

main

Status Success

Total duration 2m 15s

Artifacts –

deloy.yml

on: push

check / typecheck