benchmark_pull_request

[CI] update code #775

Sign in to view logs

Summary
Jobs
- default
Run details
- Usage
- Workflow file

Triggered via push December 2, 2023 14:58

hacl-bot

hacl-star-pnmadelaine-nix

Status Success

Total duration 10m 38s

Artifacts –

benchmark_pull_request.yml

on: push