Adding Kripke to Benchpark · LLNL/benchpark@c82d670

Triggered via pull request May 3, 2024 21:32

pearce8

synchronize #83

experiment/kripke

Status Success

Total duration 4m 6s

Artifacts 1

ci.yml

on: pull_request

Produced during runtime

Name	Size
workspace-archive Expired	46.1 KB