Skip to content

Merge pull request #17 from mongodb-developer/instruqt_updates #71

Merge pull request #17 from mongodb-developer/instruqt_updates

Merge pull request #17 from mongodb-developer/instruqt_updates #71

Triggered via push July 31, 2025 04:39
Status Success
Total duration 1m 19s
Artifacts 1

deploy.yml

on: push
Build Docusaurus
1m 2s
Build Docusaurus
Deploy to GitHub Pages
8s
Deploy to GitHub Pages
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
5.07 MB
sha256:7d3ae3dc3cee3fea0980dd07daf9788d7bd51f67e265cadaef75904a3c84bbdc