Adding Kripke to Benchpark #140
pearce8ci.yml
on: pull_request
Annotations
4 errors
|
style / lint
Canceling since a higher priority waiting request for 'ci-refs/pull/73/merge-73' exists
|
|
style / lint
The operation was canceled.
|
|
run / saxpy
Canceling since a higher priority waiting request for 'ci-refs/pull/73/merge-73' exists
|
|
run / saxpy
The operation was canceled.
|