Deploy documentation to Pages

Fix synopsis #284

Sign in to view logs

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

Triggered via push February 11, 2025 12:39

filipeom

main

Status Success

Total duration 19m 58s

Artifacts 1

deploy.yml

on: push

Artifacts

Produced during runtime

Name	Size
github-pages Expired	1.13 MB