Skip to content

Optionally refresh suffixes and keymaps after every command #111

Optionally refresh suffixes and keymaps after every command

Optionally refresh suffixes and keymaps after every command #111

Triggered via push October 19, 2023 15:53
Status Success
Total duration 1m 47s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

manual.yml

on: push
Manual  /  Generate manual
1m 36s
Manual / Generate manual
Fit to window
Zoom out
Zoom in