Merge pull request #137 from daejunpark/ci/halmos #40

Sign in to view logs

Summary
Jobs
- Formatting
Run details
- Usage
- Workflow file

Triggered via push August 14, 2023 08:18

MathisGD

main

Status Success

Total duration 29s

Artifacts –

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

forge-fmt.yml

on: push