Skip to content

Updated keybindings: they are now changeable. #1083

Updated keybindings: they are now changeable.

Updated keybindings: they are now changeable. #1083

Triggered via pull request December 17, 2023 14:30
Status Cancelled
Total duration 55s
Artifacts

main.yml

on: pull_request
Setup Repository
38s
Setup Repository
Setup build targets
4s
Setup build targets
Run static checks
6s
Run static checks
Run GitScript checks
0s
Run GitScript checks
Run editmode tests
0s
Run editmode tests
Matrix: Create build
Release
0s
Release
Cleanup
Cleanup
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Setup Repository
Canceling since a higher priority waiting request for 'refs/pull/675/merge' exists
Setup Repository
The operation was canceled.
Test and build SEE
Error when evaluating 'runs-on' for job 'cleanup'. .github/workflows/main.yml (Line: 281, Col: 14): Unexpected value ''