Skip to content
Deploy Docs to GitHub Pages

Rename and tighten type definitions #160

Sign in to view logs

Rename and tighten type definitions

Rename and tighten type definitions #160

Triggered via pull request August 13, 2024 15:58
@cmalinmayorcmalinmayor
synchronize #112
hyperedges
Status Success
Total duration 2m 43s
Artifacts –

publish-docs.yaml

on: pull_request
build
2m 34s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in