This repository has been archived by the owner on May 28, 2024. It is now read-only.

🦜🔍 Documentation build and deploy

Merge pull request #87 from sihanwang41/rename_docker #145

Sign in to view logs

Summary
Jobs
- deploy
Run details
- Usage
- Workflow file

Triggered via push November 2, 2023 17:13

sihanwang41

master

Status Success

Total duration 34s

Artifacts –

docs.yaml

on: push