Deploy Docs to GitHub Pages

Fix issue #4931: Make use of microagents configurable in `codeact_age… #7560

Sign in to view logs

Triggered via push November 12, 2024 15:42

neubig

main

Status Success

Total duration 4m 49s

Artifacts –

deploy-docs.yml

on: push

Build Docusaurus

Deploy to GitHub Pages