Skip to content

Merge pull request #717 from srivatsankrishnan/main #66

Merge pull request #717 from srivatsankrishnan/main

Merge pull request #717 from srivatsankrishnan/main #66

Triggered via push December 17, 2025 18:56
Status Success
Total duration 56s
Artifacts 1

docs.yml

on: push
Deploy to GitHub Pages
15s
Deploy to GitHub Pages
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
2.3 MB
sha256:6404f77c55b1271e66c0383f38b26034448e01f08571f7b38407dd6e987b211c