Deploy documentation to Pages

More `stdlib/syntax.ml` to `smtml_prelude.ml` #232

Sign in to view logs

Summary
Jobs
- build
- Deploy
Run details
- Usage
- Workflow file

Triggered via push October 4, 2024 09:19

filipeom

main

Status Success

Total duration 16m 49s

Artifacts –

deploy.yml

on: push