Deploy Docs to GitHub Pages

Fix issue #5059: [Bug]: Github resolver looking for wrong PR number (… #7643

Sign in to view logs

Triggered via push November 16, 2024 00:41

neubig

main

Status Success

Total duration 5m 3s

Artifacts –

deploy-docs.yml

on: push

Build Docusaurus

Deploy to GitHub Pages