Skip to content
docs

generalized interface #141

Sign in to view logs

generalized interface

generalized interface #141

Triggered via push December 8, 2023 13:57
@github-merge-queuegithub-merge-queue[bot]
pushed 6de1c86
main
Status Success
Total duration 1m 19s
Artifacts –

docs.yaml

on: push
build
20s
build
deploy
7s
deploy
Fit to window
Zoom out
Zoom in