Deploy Docs to GitHub Pages

Use messages to drive tasks #797

Sign in to view logs

Triggered via pull request May 10, 2024 13:49

rbren

synchronize #1688

rb/message-for-task

Status Success

Total duration 1m 7s

Artifacts –

deploy-docs.yml

on: pull_request

Build Docusaurus

Deploy to GitHub Pages