Adding Kripke to Benchpark #415
pearce8ci.yml
on: pull_request
changes
2s
style
/
lint
13s
run
/
saxpy
28s
license
/
verify-license
4s
docs
/
deploy
Annotations
3 errors
|
style / lint
Canceling since a higher priority waiting request for 'ci-refs/pull/83/merge-83' exists
|
|
run / saxpy
Canceling since a higher priority waiting request for 'ci-refs/pull/83/merge-83' exists
|
|
run / saxpy
The operation was canceled.
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
workspace-archive
Expired
|
9.18 KB |
|