Skip to content

Merge pull request #322 from ewjoachim/dependabot/pip/sphinx-github-c… #757

Merge pull request #322 from ewjoachim/dependabot/pip/sphinx-github-c…

Merge pull request #322 from ewjoachim/dependabot/pip/sphinx-github-c… #757

Triggered via push August 12, 2024 07:31
Status Success
Total duration 1m 12s
Artifacts

ci.yml

on: push
Matrix: build
success
0s
success
Fit to window
Zoom out
Zoom in