Skip to content

Merge pull request #6 from ericpre/add_badges #14

Merge pull request #6 from ericpre/add_badges

Merge pull request #6 from ericpre/add_badges #14

Triggered via push October 29, 2023 20:03
Status Success
Total duration 2m 28s
Artifacts 1

docs.yml

on: push
Check links and make PR comments
2m 3s
Check links and make PR comments
Push to gh-pages
11s
Push to gh-pages
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
docs_html Expired
6.58 MB