Skip to content
CI

Adds the shortcut to input enclosing numbers, also maps keys on the num pad. #518

Sign in to view logs

Adds the shortcut to input enclosing numbers, also maps keys on the num pad.

Adds the shortcut to input enclosing numbers, also maps keys on the num pad. #518

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build_archlinux
1m 11s
build_ubuntu_20
1m 29s
build_ubuntu (ubuntu:22.04)
1m 37s
build_ubuntu (ubuntu:24.04)
1m 28s
5m 45s