GitHub Pages

Docs: Notes for Hotkeys F2/Del added #1047

Sign in to view logs

Triggered via pull request August 5, 2025 22:38

opened #3121

docs/hotkeys_note

Status Success

Total duration 1m 8s

Artifacts –

deploy_website.yml

on: pull_request

Build and Deploy Website