Deploy Docs to GitHub Pages

Refactor sessions a bit, and fix issue where runtimes get killed #7535

Sign in to view logs

Triggered via pull request November 11, 2024 19:56

rbren

synchronize #4900

rb/sessions

Status Cancelled

Total duration 38s

Artifacts –

deploy-docs.yml

on: pull_request

Build Docusaurus

Deploy to GitHub Pages

Annotations

2 errors

Build Docusaurus

Canceling since a higher priority waiting request for 'Deploy Docs to GitHub Pages-refs/pull/4900/merge' exists

Build Docusaurus

The operation was canceled.