Skip to content

Adding Kripke to Benchpark #871

Adding Kripke to Benchpark

Adding Kripke to Benchpark #871

Triggered via pull request April 30, 2024 22:45
Status Success
Total duration 33m 49s
Artifacts 1

ci.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
workspace-archive Expired
46.2 KB