Adding Kripke to Benchpark #252
pearce8ci.yml
on: pull_request
changes
4s
style
/
lint
6s
run
/
saxpy
2m 37s
license
/
verify-license
4s
docs
/
deploy