GitHub Pages

Docs: Notes for Hotkeys F2/Del added (#3121) #1048

Sign in to view logs

Triggered via push August 5, 2025 22:47

main

Status Success

Total duration 1m 6s

Artifacts –

deploy_website.yml

on: push

Build and Deploy Website