Skip to content

Updated keybindings: they are now changeable. #1061

Updated keybindings: they are now changeable.

Updated keybindings: they are now changeable. #1061

Triggered via pull request December 8, 2023 16:46
Status Cancelled
Total duration 5m 23s
Artifacts

main.yml

on: pull_request
Setup Repository
5m 9s
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: 278, Col: 14): Unexpected value ''