Deploy Docs to GitHub Pages

Rename and tighten type definitions #162

Sign in to view logs

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

Triggered via pull request August 13, 2024 17:49

cmalinmayor

synchronize #112

hyperedges

Status Success

Total duration 3m 19s

Artifacts –

publish-docs.yaml

on: pull_request