Adding Kripke to Benchpark #563
pearce8ci.yml
on: pull_request
changes
2s
style
/
lint
9s
run
/
saxpy
2m 49s
license
/
verify-license
8s
docs
/
deploy
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
workspace-archive
Expired
|
47 KB |
|