Skip to content

ggml : remove ggml_task_type and GGML_PERF #4627

ggml : remove ggml_task_type and GGML_PERF

ggml : remove ggml_task_type and GGML_PERF #4627

Triggered via pull request June 23, 2024 17:23
Status Cancelled
Total duration 5m 5s
Artifacts

server.yml

on: pull_request
Matrix: server
Fit to window
Zoom out
Zoom in

Annotations

6 errors
server-windows
Canceling since a higher priority waiting request for 'Server-refs/pull/8017/merge-sl/remove-task-type' exists
server-windows
The operation was canceled.
server (UNDEFINED, RelWithDebInfo)
Canceling since a higher priority waiting request for 'Server-refs/pull/8017/merge-sl/remove-task-type' exists
server (UNDEFINED, RelWithDebInfo)
The operation was canceled.
server (ADDRESS, RelWithDebInfo)
Canceling since a higher priority waiting request for 'Server-refs/pull/8017/merge-sl/remove-task-type' exists
server (ADDRESS, RelWithDebInfo)
The operation was canceled.