.github/workflows/charon.yml

feat(proof-libs): add `t_Default` #61

Sign in to view logs

Summary
Jobs
- charon
Run details
- Usage
- Workflow file

Triggered via pull request June 10, 2024 14:14

W95Psp

opened #711

proof-libs-t_Default

Status Success

Total duration 6m 3s

Artifacts –

charon.yml

on: pull_request