Back to pull request #694

update audit #78

Sign in to view logs

Summary
Jobs
- verify
Run details
- Usage
- Workflow file

Triggered via pull request September 29, 2024 17:29

MathisGD

synchronize #694

chore/audits

Status Success

Total duration 10m 32s

Artifacts –

halmos.yml

on: pull_request