ci

Adding Kripke to Benchpark #143

Sign in to view logs

Summary
Jobs
- changes
- docs
- lint
- saxpy
Run details
- Usage
- Workflow file

Triggered via pull request December 18, 2023 23:23

pearce8

synchronize #73

feature/kripke

Status Success

Total duration 4m 34s

Artifacts –

ci.yml

on: pull_request