Adding Kripke to Benchpark (#83) #880
pearce8ci.yml
on: push
changes
4s
style
/
lint
13s
run
/
saxpy
3m 25s
license
/
verify-license
4s
docs
/
deploy
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
workspace-archive
Expired
|
46.2 KB |
|